%0 Conference Paper %1 MossakowskiEtAl13b %A Mossakowski, Till %A Kutz, Oliver %A Lange, Christoph %B IJCAI 2013 %D 2013 %E Rossi, Francesca %K DOL Distributed Language Ontology semantics %T Three Semantics for the Core of the Distributed Ontology Language %U http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6611 %X 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.

@inproceedings{MossakowskiEtAl13b, 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 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.}, added-at = {2016-08-05T15:59:03.000+0200}, author = {Mossakowski, Till and Kutz, Oliver and Lange, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2a20cf27d22147518f8cf94c37c8fdabb/tillmo}, booktitle = {IJCAI 2013}, editor = {Rossi, Francesca}, interhash = {d8e334b7a9e03fb9cb0ddf2a3e9d3bf5}, intrahash = {a20cf27d22147518f8cf94c37c8fdabb}, keywords = {DOL Distributed Language Ontology semantics}, note = {IJCAI 2013 track on Best Papers in Sister Conferences}, status = {Reviewed}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {Three Semantics for the Core of the Distributed Ontology Language}, url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6611}, year = 2013 }