ePrints Repository

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

Lange, Christoph and Kutz, Oliver and Mossakowski, Till and Grüninger, Michael (2012) The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization. In: Intelligent Computer Mathematics. LNAI (7362). Springer Verlag, pp. 463-467.

Loading
PDF (312Kb)Published Version

URL of Published Version: http://arxiv.org/abs/1204.5093

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.

Type of Work:Book Section
Date:2012 (Publication)
School/Faculty:Colleges (2008 onwards) > College of Engineering & Physical Sciences
Department:School of Computer Science
Subjects:BC Logic
QA75 Electronic computers. Computer science
Institution:University of Birmingham, Research Center on Spatial Cognition, University of Bremen, DFKI GmbH Bremen, Department of Mechanical and Industrial Engineering, University of Toronto
Copyright Holders:Springer Verlag
ID Code:1243
Refereed:YES
Export Reference As : ASCII + BibTeX + Dublin Core + EndNote + HTML + METS + MODS + OpenURL Object + Reference Manager + Refer + RefWorks
Share this item :
QR Code for this page

Repository Staff Only: item control page