The Distributed Ontology Language (DOL), currently being standardised within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3, aims at providing a unified framework for (i) ontologies formalised in heterogeneous logics, (ii) modular ontologies, (iii) links between ontologies, and (iv) annotation of ontologies.
This paper focuses on the LoLa ontology, which formally describes DOL's vocabulary for logics, ontology languages (and their serialisations), as well as logic translations. 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 (For the sake of tool availability it is still helpful not to map everything to FOL.), and circumscription for minimising the extension of concepts describing default translations.
[1]
Tom Heath,et al.
Linked Data: Evolving the Web into a Global Data Space
,
2011,
Linked Data.
[2]
Christoph Lange,et al.
Three Semantics for the Core of the Distributed Ontology Language
,
2012,
FOIS.
[3]
Tomasz Borzyszkowski.
Logical systems for structured specifications
,
2002,
Theor. Comput. Sci..
[4]
Michael Grüninger,et al.
The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility
,
2012,
ArXiv.
[5]
John McCarthy,et al.
Circumscription - A Form of Non-Monotonic Reasoning
,
1980,
Artif. Intell..
[6]
Grigore Rosu,et al.
Institution Morphisms
,
2013,
Formal Aspects of Computing.
[7]
Carsten Lutz,et al.
The Complexity of Circumscription in DLs
,
2009,
J. Artif. Intell. Res..
[8]
Till Mossakowski,et al.
The Onto-Logical Translation Graph
,
2011,
WoMO.