3 papers
cs.LO2026
The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics in ELbot
Anselm Haak, Patrick Koopmann, Yasir Mahmood +1
Abduction is a central approach to explain missing entailments from a knowledge base by providing a hypothesis, that would, if added to the knowledge base, make the missing entailm…
cs.LO2026
ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
Anselm Haak, Patrick Koopmann, Yasir Mahmood +1
Given a knowledge base (KB) with a non-entailed fact, the ABox abduction problem asks for possible extensions of the KB that would entail this fact. This problem has many applicati…
cs.LO2025
Why not? Developing ABox Abduction beyond Repairs
Anselm Haak, Patrick Koopmann, Yasir Mahmood +1
Abduction is the task of computing a sufficient extension of a knowledge base (KB) that entails a conclusion not entailed by the original KB. It serves to compute explanations, or…