An ABox Abduction Algorithm for the Description Logic ALCI

Abstract : ABox abduction is the foundation of abductive reasoning in description logics. It finds the minimal sets of ABox axioms which could be added to a background knowledge base to enforce the entailment of certain ABox assertions. In this paper, an abductive reasoning algorithm for the description logic ALCI is presented. The algorithm is an extension of an existing ABox abduction algorithm for the description logic ALC, with the feature that it is based on the Tableau of ALCI directly and do not need to use arguments and Skolem terms. It firstly transforms the ABox abduction problem into the consistency problem of knowledge base; then traditional Tableau construction process for ALCI is expanded to deal with this problem; finally the solution of the abduction problem is constructed by a process of backtracking.
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.125-130, 2012, Intelligent Information Processing VI. 〈10.1007/978-3-642-32891-6_17〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01524986
Contributeur : Hal Ifip <>
Soumis le : vendredi 19 mai 2017 - 10:43:40
Dernière modification le : vendredi 19 mai 2017 - 10:45:55

Fichier

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

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Yanwei Ma, Tianlong Gu, Binbin Xu, Liang Chang. An ABox Abduction Algorithm for the Description Logic ALCI. 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.125-130, 2012, Intelligent Information Processing VI. 〈10.1007/978-3-642-32891-6_17〉. 〈hal-01524986〉

Partager

Métriques

Consultations de la notice

41

Téléchargements de fichiers

33