The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization

  • Christoph Lange
  • Oliver Kutz
  • Till Mossakowski
  • Michael Grüninger
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7362)


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 (1) ontologies formalized in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) 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.


Description Logic Concrete Syntax Ambient Assisted Living Core Ontology Ontology Alignment 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Codescu, M., Horozal, F., Kohlhase, M., Mossakowski, T., Rabe, F.: Project Abstract: Logic Atlas and Integrator (LATIN). In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) Calculemus/MKM 2011. LNCS (LNAI), vol. 6824, pp. 289–291. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  2. 2.
    Common Logic (CL): a framework for a family of logic-based languages. Technical Report 24707, ISO/IEC (2007),
  3. 3.
    Grüninger, M.: Verification of the OWL-Time Ontology. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 225–240. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  4. 4.
    Hobbs, J., Pan, F.: An Ontology of Time for the Semantic Web. ACM Transactions on Asian Language Processing 3, 66–85 (2004)CrossRefGoogle Scholar
  5. 5.
    Mossakowski, T., Kutz, O.: The Onto-Logical Translation Graph. In: Kutz, O., Schneider, T. (eds.) Modular Ontologies. IOS (2011)Google Scholar
  6. 6.
    Mossakowski, T., Kutz, O., Lange, C.: Three Semantics for the Core of the Distributed Ontology Language. In: FOIS (in press, 2012)Google Scholar
  7. 7.
    Mossakowski, T., Maeder, C., Lüttich, K.: The Heterogeneous Tool Set, Hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 519–522. Springer, Heidelberg (2007)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Christoph Lange
    • 1
    • 2
  • Oliver Kutz
    • 1
  • Till Mossakowski
    • 1
    • 3
  • Michael Grüninger
    • 4
  1. 1.Research Center on Spatial CognitionUniversity of BremenGermany
  2. 2.School of Computer ScienceUniversity of BirminghamUK
  3. 3.DFKI GmbH BremenGermany
  4. 4.Department of Mechanical and Industrial EngineeringUniversity of TorontoCanada

Personalised recommendations