The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization

Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger

In: Conferences on Intelligent Computer Mathematics. Conferences on Intelligent Computer Mathematics (CICM-12) July 8-13 Bremen Germany Lecture Notes in Computer Science (LNCS) 7362 Springer 2012.


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 ontologies formalized in heterogeneous logics, modular ontologies, links between ontologies, and 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.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence