Reasoning Theory for D3L with Compositional Bridge Rules

Abstract : The semantic mapping in Distributed Dynamic Description Logics (D3L) allows knowledge to propagate from one ontology to another. The current research for knowledge propagation in D3L is only for a simplified case when only two ontologies are involved. In this paper we study knowledge propagation in more complex cases. We find in the case when more than two ontologies are involved and bridge rules form chains, knowledge does not always propagate along chains of bridge rules even if we would expect it. Inspired by Package-based description Logics, we extend the original semantics of D3L by imposing so called compositional consistency condition on domain relations in D3L interpretations. Under this semantics knowledge propagates along chains of bridge rules correctly. Furthermore we provide a distributed Tableaux reasoning algorithm for deciding satisfiability of concepts which is decidable in D3L under compositional consistency. Compared with original one, the extended D3L provides more reasonable logic foundation for distributed, dynamic system such as the information integration system and the Semantic Web.
Type de document :
Communication dans un congrès
Zhongzhi Shi; David Leake; Sunil Vadera. 7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. Springer, IFIP Advances in Information and Communication Technology, AICT-385, pp.106-115, 2012, Intelligent Information Processing VI. 〈10.1007/978-3-642-32891-6_15〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01524961
Contributeur : Hal Ifip <>
Soumis le : vendredi 19 mai 2017 - 10:43:20
Dernière modification le : vendredi 3 novembre 2017 - 22:24:07
Document(s) archivé(s) le : lundi 21 août 2017 - 00:28:40

Fichier

978-3-642-32891-6_15_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Xiaofei Zhao, Dongping Tian, Limin Chen, Zhongzhi Shi. Reasoning Theory for D3L with Compositional Bridge Rules. Zhongzhi Shi; David Leake; Sunil Vadera. 7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. Springer, IFIP Advances in Information and Communication Technology, AICT-385, pp.106-115, 2012, Intelligent Information Processing VI. 〈10.1007/978-3-642-32891-6_15〉. 〈hal-01524961〉

Partager

Métriques

Consultations de la notice

35

Téléchargements de fichiers

24