| Publication type: |
Article in Proceedings |
| Author: |
Christoph Lange, and Oliver Kutz, Till Mossakowski, Michael Grüninger |
| Title: |
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization |
| Book / Collection title: |
Conferences on Intelligent Computer Mathematics CICM 2012 |
| Volume: |
7362 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2012 |
| Publisher: |
Springer |
| 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
ontologies formalized in heterogeneous logics,
modular ontologies,
links between ontologies, and
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. |
| Internet: |
http://dx.doi.org/10.1007/978-3-642-31374-5_37 |
| PDF Version: |
http://arxiv.org/pdf/1204.5093v1 |
| Keywords: |
distributed heterogeneous ontology DOL COLORE |
| Status: |
Reviewed |
| Last updated: |
03. 09. 2012 |
