11 citations · 14 across the 5 of their papers we have counts for
4 papers · 1 filter
Connection-minimal Abduction in EL via Translation to FOL -- Technical Report
Fajar Haifani, Patrick Koopmann, Sophie Tourret +1
Abduction in description logics finds extensions of a knowledge base to make it entail an observation. As such, it can be used to explain why the observation does not follow, to re…
Efficient TBox Reasoning with Value Restrictions using the wer reasoner
Franz Baader, Patrick Koopmann, Friedrich Michel +2
The inexpressive Description Logic (DL) , which has conjunction and value restriction as its only concept constructors, had fallen into disrepute when it turned out…
Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version)
Patrick Koopmann
Given a knowledge base and an observation as a set of facts, ABox abduction aims at computing a hypothesis that, when added to the knowledge base, is sufficient to entail the obser…
Signature-Based Abduction for Expressive Description Logics -- Technical Report
Patrick Koopmann, Warren Del-Pinto, Sophie Tourret +1
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…