Reasoning with a Network of Aligned Ontologies

Antoine Zimmermann 1, * Chan Le Duc 1, *
* Auteur correspondant
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 P2P systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or simply 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 propose a formalism, Integrated Distributed Description Logics (IDDL), which treats local knowledge (ontologies) and global knowledge (inter-ontology semantic relations, i.e. alignments) separately by distinguishing local interpretations and global interpretation. In this report, we identify relevant requirements for the semantics of such distributed systems. From this analysis, we argue that IDDL complies with these requirements. We then present a reasoning procedure for IDDL systems which uses local reasoners in a modular way. It proves that consistency of an IDDL system is decidable if consistency of the local logics is decidable and it provides an upper bound for the complexity of consistency checking.
Type de document :
[Research Report] RR-6484, INRIA. 2008, pp.41
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger
Contributeur : Chan Le Duc <>
Soumis le : vendredi 27 juin 2008 - 17:44:16
Dernière modification le : jeudi 11 octobre 2018 - 08:48:02
Document(s) archivé(s) le : samedi 26 novembre 2016 - 00:14:54


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00267808, version 3



Antoine Zimmermann, Chan Le Duc. Reasoning with a Network of Aligned Ontologies. [Research Report] RR-6484, INRIA. 2008, pp.41. 〈inria-00267808v3〉



Consultations de la notice


Téléchargements de fichiers