Concept Abduction in Description logics with cardinality restrictions - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Computer, Electrical, Automation, Control and Information Engineering Année : 2010

Concept Abduction in Description logics with cardinality restrictions

Résumé

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.
Fichier principal
Vignette du fichier
v71-168.pdf (3.17 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01448932 , version 1 (29-01-2017)

Identifiants

  • HAL Id : hal-01448932 , version 1

Citer

Viet-Hoang Vu, Nhan Le Thanh. Concept Abduction in Description logics with cardinality restrictions. International Journal of Computer, Electrical, Automation, Control and Information Engineering, 2010, 4 (11), pp.1779. ⟨hal-01448932⟩
87 Consultations
43 Téléchargements

Partager

Gmail Facebook X LinkedIn More