Rethinking Explanations: Formalizing Contrast in Description Logics

arXiv:2605.01442v1 Announce Type: new Abstract: 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 axioms, and abductive reasoning to explain missing axioms in a...