Semantics of the Distributed Ontology Language: Institutes and Institutions

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.
Type de document :
Communication dans un congrès
Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.212-230, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_13〉
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01485971
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 mars 2017 - 15:33:27
Dernière modification le : mardi 13 février 2018 - 16:24:03
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:32:48

Fichier

978-3-642-37635-1_13_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Till Mossakowski, Oliver Kutz, Christoph Lange. Semantics of the Distributed Ontology Language: Institutes and Institutions. Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.212-230, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_13〉. 〈hal-01485971〉

Partager

Métriques

Consultations de la notice

161

Téléchargements de fichiers

13