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