Skip to Main content Skip to Navigation
Conference papers

Signature-Based Abduction for Expressive Description Logics

Abstract : 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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03141064
Contributor : Sophie Tourret Connect in order to contact the contributor
Submitted on : Sunday, February 14, 2021 - 11:50:30 PM
Last modification on : Wednesday, November 3, 2021 - 7:57:52 AM

Links full text

Identifiers

Collections

Citation

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 , Sep 2020, Rhodes, France. pp.592-602, ⟨10.24963/kr.2020/59⟩. ⟨hal-03141064⟩

Share

Metrics

Les métriques sont temporairement indisponibles