Concept Abduction in Description logics with cardinality restrictions

Abstract : Recently the usefulness of Concept Abduction, a novel non-monotonic inference service for Description Logics (DLs), has been argued in the context of ontology-based applications such as semantic matchmaking and resource retrieval. Based on tableau calculus, a method has been proposed to realize this reasoning task in ALN, a description logic that supports simple cardinality restrictionsas well as other basic constructors. However, in many ontology-based systems, the representation of ontology would require expressive formalisms for capturing domain-specific constraints, this language is not sufficient. In order to increase the applicability of the abductive reasoning method in such contexts, we would like to present in the scope of this paper an extension of the tableaux-based algorithm for dealing with concepts represented inALCQ, the description logic that extends ALN with full concept negation and quantified number restrictions.
Type de document :
Article dans une revue
International Journal of Computer, Electrical, Automation, Control and Information Engineering, World Academy of Science, Engineering and Technology, 2010, 4 (11), pp.1779-. <http://waset.org/publications/9228/concept-abduction-in-description-logics-with-cardinality-restrictions>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01448932
Contributeur : Nhan Le Thanh <>
Soumis le : dimanche 29 janvier 2017 - 19:45:05
Dernière modification le : vendredi 3 février 2017 - 01:07:19
Document(s) archivé(s) le : dimanche 30 avril 2017 - 12:25:57

Fichier

v71-168.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01448932, version 1

Collections

Citation

Viet-Hoang Vu, Nhan Le-Thanh. Concept Abduction in Description logics with cardinality restrictions. International Journal of Computer, Electrical, Automation, Control and Information Engineering, World Academy of Science, Engineering and Technology, 2010, 4 (11), pp.1779-. <http://waset.org/publications/9228/concept-abduction-in-description-logics-with-cardinality-restrictions>. <hal-01448932>

Partager

Métriques

Consultations de
la notice

46

Téléchargements du document

65