2012/04/23 by Christoph Lange, Oliver Kutz, Lange, Christoph +5
Computer Science · #03B10 #03B70 #16B50 #68T30 #Advanced Database Systems and Queries #Data Management and Algorithms #F.4.1 #F.4.m #FOS: Computer and information sciences #H.3.5 #H.5.3 #H.5.4 #I.2.4 #I.7.1 #I.7.2 #Logic in Computer Science (cs.LO) #Semantic Web and Ontologies #acm:03B10 #acm:03B70 #acm:16B50 #acm:68T30 #cs.LO #msc:03B10 #msc:03B70 #msc:16B50 #msc:68T30
paper · pdf · doi:10.48550/arxiv.1204.5093
Conference on Intelligent Computer Mathematics, July 9-14, Bremen, Germany. Published as number 7362 in Lecture Notes in Artificial Intelligence, Springer
arxiv created 2012/04/23 · openalex publication_date 2012/04/23 · arxiv updated 2012/04/24 · openalex created_date 2022/10/02 · openalex updated_date 2026/07/28
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.