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.


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.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence