Semantics of the Distributed Ontology Language: Institutes and Institutions

  • Till Mossakowski
  • Oliver Kutz
  • Christoph Lange
Conference paper

DOI: 10.1007/978-3-642-37635-1_13

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7841)
Cite this paper as:
Mossakowski T., Kutz O., Lange C. (2013) Semantics of the Distributed Ontology Language: Institutes and Institutions. In: Martí-Oliet N., Palomino M. (eds) Recent Trends in Algebraic Development Techniques. WADT 2012. Lecture Notes in Computer Science, vol 7841. Springer, Berlin, Heidelberg

Abstract

The Distributed Ontology Language (DOL) is a recent development within the ISO standardisation initiative 17347 Ontology Integration and Interoperability (OntoIOp). In DOL, heterogeneous and distributed ontologies can be expressed, i.e. ontologies that are made up of parts written in ontology languages based on various logics. In order to make the DOL meta-language and its semantics more easily accessible to the wider ontology community, we have developed a notion of institute which are like institutions but with signature partial orders and based on standard set-theoretic semantics rather than category theory. We give an institute-based semantics for the kernel of DOL and show that this is compatible with institutional semantics. Moreover, as it turns out, beyond their greater simplicity, institutes have some further surprising advantages over institutions.

Copyright information

© IFIP International Federation for Information Processing 2013

Authors and Affiliations

  • Till Mossakowski
    • 1
    • 3
  • Oliver Kutz
    • 1
  • Christoph Lange
    • 1
    • 2
  1. 1.Research Center on Spatial CognitionUniversity of BremenGermany
  2. 2.School of Computer ScienceUniversity of BirminghamUK
  3. 3.DFKI GmbH BremenGermany

Personalised recommendations