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…