Showing cs.AIShow all
3 papers · 1 filter
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…
cs.AI2025
Neural Reasoning for Robust Instance Retrieval in
Louis Mozart Kamdem Teyou, Luke Friedrichs, N'Dah Jean Kouagou +4
Concept learning exploits background knowledge in the form of description logic axioms to learn explainable classification models from knowledge bases. Despite recent breakthroughs…