{"id":"arxiv/2605.01442","url":"https://arxiv.org/abs/2605.01442","tags":["cs.AI","math.LO"],"score":0,"title":"Rethinking Explanations: Formalizing Contrast in Description Logics","domain":"cs.AI","source":"arxiv","authors":["Yasir Mahmood","Arnab Sharma","Axel-Cyrille Ngonga Ngomo","Balram Tiwari"],"reviews":0,"subject":"cs.AI","summary":"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 knowledge base. However, these formalisms only point out the reasoning steps behind a (missing) entailment and lack a user-centered approach as they do not consider an inquirer's needs, level of understanding, or prior knowledge. We propose contrastive explanations, aiming at answering \"why an axiom P (fact) is true instead of another axiom Q (foil)\"…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-02","reactions":{}}