Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract)

Mossakowski, Till; Lange, Christoph; Kutz, Oliver

Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract)

Till Mossakowski, Christoph Lange, Oliver Kutz

Download BibTeX Cite

Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 3027-3030.

Abstract

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 (1) ontologies formalized in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) 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.

Till Mossakowski, Christoph Lange, and Oliver Kutz. 2013. Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract). In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13. IJCAI, 3027–3030. https://ijcai.org/proceedings/2013/450

@inproceedings{ijcai2013p450,
  title     = {Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract)},
  author    = {Mossakowski, Till and Lange, Christoph and Kutz, Oliver},
  booktitle = {Proceedings of the Twenty-Third International Joint Conference on
               Artificial Intelligence, {IJCAI-13}},
  publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
  editor    = {Francesca Rossi},
  pages     = {3027--3030},
  year      = {2013},
  month     = {8},
  url       = {https://ijcai.org/proceedings/2013/450},
}

TY  - CPAPER
TI  - Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract)
AU  - Mossakowski, Till
AU  - Lange, Christoph
AU  - Kutz, Oliver
T2  - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13
PB  - AAAI Press / International Joint Conferences on Artificial Intelligence
PY  - 2013
SP  - 3027
EP  - 3030
UR  - https://ijcai.org/proceedings/2013/450
ER  -