Making Cross Products and Guarded Ontology Languages Compatible

To answer the question how the additional Wikipedia editions inuence the per- formance of the mapping between Wikipedia and Cyc (cf. [2]) we have dened the following tasks: 1)

The Phenotypic Quality Ontology (PATO) uses the notion of a cross section to relate two- and three-dimensional shapes and to describe the shape of

Semantics: (1) a direct set-theoretical semantics for the core of the language, extended by an institutional and category-theoretic semantics for advanced features such as

[r]

Nevertheless, some formal languages such as predicate cal- culus and description logics can do a good job in generalizing the description enough to make the ontology “less”

Experimental results showed that the SOCOM framework generated higher quality mapping results than the generic approach due to its ability to select translations

To define that each ObjectNode has some incoming edge of type ObjectFlow an Object- SomeValuesFrom class expression is used to define that there exists some edge of type ObjectFlow

Because there is the need to integrate the enriched BEDSL and PDDSL we presented the idea of integrating the domain models and simultaneously combining the constraints of each