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.AI2025
Can You Tell the Difference? Contrastive Explanations for ABox Entailments
Patrick Koopmann, Yasir Mahmood, Axel-Cyrille Ngonga Ngomo +1
We introduce the notion of contrastive ABox explanations to answer questions of the type "Why is a an instance of C, but b is not?". While there are various approaches for explaini…