The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization

DOI10.1007/978-3-642-31374-5_37MaRDI QIDQ2907352zbMATH OpenOpenAlexFDO

Authors Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Gruninger

Publication date 7 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1204.5093

Mathematics Subject Classification ID

Knowledge representation (68T30)

Abstract: 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.

Recommendations

• The distributed ontology, modeling and specification language -- DOL
• Semantics of the distributed ontology language: institutes and institutions
• \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge
• A Mathematical Approach to Ontology Authoring and Documentation
• Ontological engineering and mathematical knowledge management: A formalization of projective geometry

Cited in

(6)

• The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
• A Mathematical Approach to Ontology Authoring and Documentation
• The distributed ontology, modeling and specification language -- DOL
• Ontological engineering and mathematical knowledge management: A formalization of projective geometry
• \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge
• Semantics of the distributed ontology language: institutes and institutions

This page was built for publication: The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2907352)