Publikation

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.

Abstrakt

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