2 papers
cs.AI2026
Rethinking Explanations: Formalizing Contrast in Description Logics
Yasir Mahmood, Arnab Sharma, Axel-Cyrille Ngonga Ngomo +1
There has been a growing interest in explaining entailments over description logic (DL) knowledge bases. The existing explanation formalisms focus on justifications to explain true…
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…