Skip to Main content Skip to Navigation
Journal articles

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.
Complete list of metadata
Contributor : Nhan Le Thanh <>
Submitted on : Sunday, January 29, 2017 - 7:45:05 PM
Last modification on : Monday, October 12, 2020 - 10:30:41 AM
Long-term archiving on: : Sunday, April 30, 2017 - 12:25:57 PM


Files produced by the author(s)


  • HAL Id : hal-01448932, version 1



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. ⟨hal-01448932⟩



Record views


Files downloads