%0 Conference Paper %1 LangeEtAL12a %A Lange, Christoph %A Mossakowski, Till %A Kutz, Oliver %B Workshop on modular ontologies %D 2012 %E Schneider, Thomas %E Walther, Dirk %K DOL distributed heterogeneous ontology %T LoLa: A Modular Ontology of Logics, Languages, and Translations %U http://ceur-ws.org/Vol-875/ %V 875 %X The Distributed Ontology Language (DOL) is currently being standardised within the OntoIOp (Ontology Integration and Interoper ability) activity of ISO/TC 37/SC 3. It aims at providing a unified framework for ontologies formalised in heterogeneous logics, modular ontologies, links between ontologies, and annotation of ontologies. This paper focuses on building an ontology that formally describes DOL's vocabulary for logics, ontology languages (and their serialisations), as well as logic translations, called LoLa. Interestingly, to adequately formalise the logical relationships between these notions, LoLa itself needs to be axiomatised heterogeneously - a task for which we choose DOL. Namely, we use the logic RDF for Abox assertions, OWL for basic axiomatisations of various modules concerning logics, languages, and translations, FOL for capturing certain closure rules that are not expressible in OWL, and circumscription for minimising the extension of concepts describing default translations.

@inproceedings{LangeEtAL12a, abstract = {The Distributed Ontology Language (DOL) is currently being standardised within the OntoIOp (Ontology Integration and Interoper ability) activity of ISO/TC 37/SC 3. It aims at providing a unified framework for ontologies formalised in heterogeneous logics, modular ontologies, links between ontologies, and annotation of ontologies. This paper focuses on building an ontology that formally describes DOL's vocabulary for logics, ontology languages (and their serialisations), as well as logic translations, called LoLa. Interestingly, to adequately formalise the logical relationships between these notions, LoLa itself needs to be axiomatised heterogeneously - a task for which we choose DOL. Namely, we use the logic RDF for Abox assertions, OWL for basic axiomatisations of various modules concerning logics, languages, and translations, FOL for capturing certain closure rules that are not expressible in OWL, and circumscription for minimising the extension of concepts describing default translations.}, added-at = {2016-08-05T15:59:03.000+0200}, author = {Lange, Christoph and Mossakowski, Till and Kutz, Oliver}, biburl = {https://www.bibsonomy.org/bibtex/2257a357e9bb648a94d861eeb0882d1bd/tillmo}, booktitle = {Workshop on modular ontologies}, editor = {Schneider, Thomas and Walther, Dirk}, interhash = {b353098a76ab0ecf2cef4b007b91271a}, intrahash = {257a357e9bb648a94d861eeb0882d1bd}, keywords = {DOL distributed heterogeneous ontology}, pdfurl = {http://ceur-ws.org/Vol-875/regular_paper_5.pdf}, series = {CEUR-WS online proceedings}, status = {Reviewed}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {LoLa: A Modular Ontology of Logics, Languages, and Translations}, url = {http://ceur-ws.org/Vol-875/}, volume = 875, year = 2012 }