Semantics of the Distributed Ontology Language: Institutes and Institutions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Semantics of the Distributed Ontology Language: Institutes and Institutions

Résumé

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.
Fichier principal
Vignette du fichier
978-3-642-37635-1_13_Chapter.pdf (296.5 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01485971 , version 1 (09-03-2017)

Licence

Paternité

Identifiants

Citer

Till Mossakowski, Oliver Kutz, Christoph Lange. Semantics of the Distributed Ontology Language: Institutes and Institutions. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.212-230, ⟨10.1007/978-3-642-37635-1_13⟩. ⟨hal-01485971⟩
76 Consultations
98 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More