The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization
From MaRDI portal
Publication:2907352
DOI10.1007/978-3-642-31374-5_37zbMATH Open1360.68814arXiv1204.5093OpenAlexW1956737505MaRDI QIDQ2907352FDOQ2907352
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)
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.
Full work available at URL: https://arxiv.org/abs/1204.5093
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 (4)
- The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
- A Mathematical Approach to Ontology Authoring and Documentation
- Ontological engineering and mathematical knowledge management: A formalization of projective geometry
- \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge
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)
