The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization
Type of publication: | Inproceedings |
Citation: | LangeEtAL12 |
Booktitle: | Conferences on Intelligent Computer Mathematics CICM 2012 |
Series: | Lecture Notes in Computer Science |
Volume: | 7362 |
Year: | 2012 |
Publisher: | Springer |
DOI: | 10.1007/978-3-642-31374-5_37 |
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. |
Userfields: | bdsk-url-1={http://dx.doi.org/10.1007/978-3-642-31374-5_37}, pdfurl={http://arxiv.org/pdf/1204.5093v1}, project={I1-OntoSpace}, status={Reviewed}, |
Keywords: | distributed heterogeneous ontology DOL COLORE |
Authors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|