Signature-Based Abduction for Expressive Description Logics

Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, R. A. Schmidt

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge. This type of abduction is useful for tasks such as diagnosis, where the vocabulary used for observed symptoms differs from the vocabulary expected to explain those symptoms. We present the first complete method solving signature-based abduction for observations expressed in the expressive description logic ALC, which can include TBox and ABox axioms. The method is guaranteed to compute a finite and complete set of hypotheses, and is evaluated on a set of realistic knowledge bases.
Original languageEnglish
Title of host publicationProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning
EditorsD. Calvanese, E. Erdem
PublisherIJCAI Organization
Number of pages11
Publication statusPublished - 12 Sept 2020


Dive into the research topics of 'Signature-Based Abduction for Expressive Description Logics'. Together they form a unique fingerprint.

Cite this