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.
%0 Conference Paper
%1 LangeEtAL12
%A Lange, Christoph
%A and Oliver Kutz,
%A Mossakowski, Till
%A Grüninger, Michael
%B Conferences on Intelligent Computer Mathematics CICM 2012
%D 2012
%I Springer
%K COLORE DOL distributed heterogeneous ontology
%T The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization
%U http://dx.doi.org/10.1007/978-3-642-31374-5_37
%V 7362
%X 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.
@inproceedings{LangeEtAL12,
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.},
added-at = {2016-08-05T15:59:03.000+0200},
author = {Lange, Christoph and and Oliver Kutz and Mossakowski, Till and Gr{\"u}ninger, Michael},
biburl = {https://www.bibsonomy.org/bibtex/25316d73a4cc934982927e49f9d70d853/tillmo},
booktitle = {Conferences on Intelligent Computer Mathematics CICM 2012},
interhash = {35f5287bccae5ef636998ffa5340e123},
intrahash = {5316d73a4cc934982927e49f9d70d853},
keywords = {COLORE DOL distributed heterogeneous ontology},
pdfurl = {http://arxiv.org/pdf/1204.5093v1},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
status = {Reviewed},
timestamp = {2016-08-05T15:59:03.000+0200},
title = {The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization},
url = {http://dx.doi.org/10.1007/978-3-642-31374-5_37},
volume = 7362,
year = 2012
}