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

Authors:
Christoph Lange;Oliver Kutz;Till Mossakowski;Michael Grüninger
Affiliations:
Research Center on Spatial Cognition, University of Bremen, Germany, School of Computer Science, University of Birmingham, UK;Research Center on Spatial Cognition, University of Bremen, Germany;Research Center on Spatial Cognition, University of Bremen, Germany, DFKI GmbH Bremen, Germany;Department of Mechanical and Industrial Engineering, University of Toronto, Canada
Venue:
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Year:
2012

Citing 4
Cited 1

An ontology of time for the semantic web

ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on Temporal Information Processing
The heterogeneous tool set, HETS

TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Project abstract: logic atlas and integrator (LATIN)

MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Verification of the OWL-time ontology

ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I

Three semantics for the core of the distributed ontology language (extended abstract)

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.