Signature-Based Abduction for Expressive Description Logics - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Signature-Based Abduction for Expressive Description Logics

Résumé

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 et versions

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

Identifiants

Citer

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⟩
57 Consultations
0 Téléchargements

Altmetric

Partager

More