Signature-Based Abduction for Expressive Description Logics - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Signature-Based Abduction for Expressive Description Logics


Signature-based abduction aims at building hypotheses over aspecified set of names, the signature, that explain an observa-tion relative to some background knowledge. This type of ab-duction is useful for tasks such as diagnosis, where the vocab-ulary used for observed symptoms differs from the vocabu-lary expected to explain those symptoms. We present the firstcomplete method solving signature-based abduction for ob-servations expressed in the expressive description logicALC,which can include TBox and ABox axioms. The method isguaranteed to compute a finite and complete set of hypothe-ses, and is evaluated on a set of realistic knowledge bases.

Dates and versions

hal-03141064 , version 1 (14-02-2021)



Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate Schmidt. Signature-Based Abduction for Expressive Description Logics. 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}, Sep 2020, Rhodes, France. pp.592-602, ⟨10.24963/kr.2020/59⟩. ⟨hal-03141064⟩
46 View
0 Download



Gmail Facebook Twitter LinkedIn More