Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
Interpolation in Knowledge Representation
Jean Christoph Jung, Patrick Koopmann, Matthias Knorr
Craig interpolation and uniform interpolation have many applications in knowledge representation, including explainability, forgetting, modularization and reuse, and even learning.…
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…