Integrated distributed description logics

Antoine Zimmermann 1
1 EXMO - Computer mediated exchange of structured knowledge
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : We propose a Description-Logics-based language that extends standard DL with distributed capabilities. More precisely, it offers the possibility to formally describe the semantic relations that exist between two ontologies in a networked knowledge-based system. Contrary to Distributed Description Logics, it is possible to compose correspondences (or bridge rules), while still being able to hide some of the discrepancies between ontologies. Moreover, when ontologies have no nominals, no A-Box axioms, and correspondences are restricted to cross-ontology subsumption, the satisfiability of a local ontology is not influenced by ontology alignments and other ontologies, i.e., local deduction is invariant to the change of the outer system. Although we do not have a complete reasoning procedure, we provide inference rules and semantic properties, and a discussion on reasoning in this formalism.
Type de document :
Communication dans un congrès
Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Sergio Tessaris, Anni-Yasmin Turhan. Proc. 20th International workshop on description logic (DL), 2007, Brixen/Bressanone, Italy. Bolzano University Press, pp.507-514, 2007, Proc. 20th International workshop on description logic (DL)
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00817817
Contributeur : Antoine Zimmermann <>
Soumis le : jeudi 25 avril 2013 - 13:59:04
Dernière modification le : jeudi 11 janvier 2018 - 01:48:44
Document(s) archivé(s) le : vendredi 26 juillet 2013 - 04:03:47

Fichier

zimmermann2007a.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00817817, version 1

Collections

Citation

Antoine Zimmermann. Integrated distributed description logics. Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Sergio Tessaris, Anni-Yasmin Turhan. Proc. 20th International workshop on description logic (DL), 2007, Brixen/Bressanone, Italy. Bolzano University Press, pp.507-514, 2007, Proc. 20th International workshop on description logic (DL). 〈hal-00817817〉

Partager

Métriques

Consultations de la notice

300

Téléchargements de fichiers

475