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