论文信息 - The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization

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

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.

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

[1] S. Wölfl,et al. The Heterogeneous Tool Set , 2007 .

[2] Till Mossakowski,et al. Project Abstract: Logic Atlas and Integrator (LATIN) , 2011, Calculemus/MKM.

[3] Christoph Lange,et al. Three Semantics for the Core of the Distributed Ontology Language , 2012, FOIS.

[4] Jerry R. Hobbs,et al. An ontology of time for the semantic web , 2004, TALIP.

[5] Till Mossakowski,et al. The Onto-Logical Translation Graph , 2011, WoMO.

[6] Michael Grüninger. Verification of the OWL-Time Ontology , 2011, International Semantic Web Conference.

[7] Till Mossakowski,et al. The Heterogeneous Tool Set (Hets) , 2007, VERIFY.