Reasoning on a network of aligned ontologies

Antoine Zimmermann 1 Chan Le Duc 1
1 EXMO - Computer mediated exchange of structured knowledge
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or reasoning with a system of networked ontologies. Though different formalisms have already been defined to reason with such systems, they do not consider ontology alignments as first class objects designed by third party ontology matching systems. Correspondences between ontologies are often asserted from an external point of view encompassing both ontologies. We study consistency checking in a network of aligned ontologies represented in Integrated Distributed Description Logics (IDDL). This formalism treats local knowledge (ontologies) and global knowledge (inter-ontology semantic relations, i.e., alignments) separately by distinguishing local interpretations and global interpretation so that local systems do not need to directly connect to each other. We consequently devise a correct and complete algorithm which, although being far from tractable, has interesting properties: it is independent from the local logics expressing ontologies by encapsulating local reasoners. This shows that consistency of a IDDL system is decidable whenever consistency of the local logics is decidable. Moreover, the expressiveness of local logics does not need to be known as long as local reasoners can handle at least ALC.
Type de document :
Communication dans un congrès
Diego Calvanese, Georg Lausen. Proc. 2nd International conference on web reasoning and rule systems (RR), Nov 2008, Karlsruhe, Germany. Springer Verlag, 5341, pp.43-57, 2008, Lecture notes in computer science. 〈10.1007/978-3-540-88737-9_5〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00793549
Contributeur : Jérôme Euzenat <>
Soumis le : vendredi 22 février 2013 - 15:07:10
Dernière modification le : jeudi 11 janvier 2018 - 06:22:01
Document(s) archivé(s) le : dimanche 2 avril 2017 - 04:21:03

Fichier

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

Identifiants

Collections

Citation

Antoine Zimmermann, Chan Le Duc. Reasoning on a network of aligned ontologies. Diego Calvanese, Georg Lausen. Proc. 2nd International conference on web reasoning and rule systems (RR), Nov 2008, Karlsruhe, Germany. Springer Verlag, 5341, pp.43-57, 2008, Lecture notes in computer science. 〈10.1007/978-3-540-88737-9_5〉. 〈hal-00793549〉

Partager

Métriques

Consultations de la notice

227

Téléchargements de fichiers

254