The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization
The Distributed Ontology Language (DOL) is currently being standardized within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3. It aims at providing a unified framework for (1) ontologies formalized in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) annotation of ontologies. This paper focuses on an application of DOL’s meta-theoretical features in mathematical formalization: validating relationships between ontological formalizations of mathematical concepts in COLORE (Common Logic Repository), which provide the foundation for formalizing real-world notions such as spatial and temporal relations.
Unable to display preview. Download preview PDF.
- 2.Common Logic (CL): a framework for a family of logic-based languages. Technical Report 24707, ISO/IEC (2007), http://iso-commonlogic.org
- 5.Mossakowski, T., Kutz, O.: The Onto-Logical Translation Graph. In: Kutz, O., Schneider, T. (eds.) Modular Ontologies. IOS (2011)Google Scholar
- 6.Mossakowski, T., Kutz, O., Lange, C.: Three Semantics for the Core of the Distributed Ontology Language. In: FOIS (in press, 2012)Google Scholar