Skip to main content Skip to main navigation

Publikation

Three Semantics for the Core of the Distributed Ontology Language

Till Mossakowski; Oliver Kutz; Christoph Lange
In: International Joint Conference on Artificial Intelligence . International Joint Conference on Artificial Intelligence (IJCAI-13), The 2013 International Joint Conference on Artificial Intelligence, August 3-9, Beijing, China, 2013.

Zusammenfassung

The Distributed Ontology Language DOL, currently being standardized as ISO WD 17347 within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37, provides a unified framework for ontologies formalized in heterogeneous logics, modular ontologies, links between ontologies, and ontology annotation. A DOL ontology consists of modules formalized in languages such as OWL or Common Logic, serialized in the existing syntaxes of these languages. On top, DOL's meta level allows for expressing heterogeneous ontologies and links between ontologies, including (heterogeneous) imports and alignments, conservative extensions, and theory interpretations. We present the abstract syntax of these meta-level constructs, with three alternative semantics: direct, translational, and collapsed semantics.