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
|
|
|
|
