| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Christoph Lange, and Oliver Kutz, Till Mossakowski, Michael Grüninger |
| Titel: |
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization |
| Buch / Sammlungs-Titel: |
Conferences on Intelligent Computer Mathematics CICM 2012 |
| Band: |
7362 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2012 |
| Verleger: |
Springer |
| Abstract / Kurzbeschreibung: |
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 |
| Schlagworte: |
distributed heterogeneous ontology DOL COLORE |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
03. 09. 2012 |
