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 …