Can You Tell the Difference? Contrastive Explanations for ABox Entailments
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917080229478400 |
|---|---|
| author | Koopmann, Patrick Mahmood, Yasir Ngomo, Axel-Cyrille Ngonga Tiwari, Balram |
| author_facet | Koopmann, Patrick Mahmood, Yasir Ngomo, Axel-Cyrille Ngonga Tiwari, Balram |
| contents | 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 explaining positive entailments (why is C(a) entailed by the knowledge base) as well as missing entailments (why is C(b) not entailed) in isolation, contrastive explanations consider both at the same time, which allows them to focus on the relevant commonalities and differences between a and b. We develop an appropriate notion of contrastive explanations for the special case of ABox reasoning with description logic ontologies, and analyze the computational complexity for different variants under different optimality criteria, considering lightweight as well as more expressive description logics. We implemented a first method for computing one variant of contrastive explanations, and evaluated it on generated problems for realistic knowledge bases. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_11281 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Can You Tell the Difference? Contrastive Explanations for ABox Entailments Koopmann, Patrick Mahmood, Yasir Ngomo, Axel-Cyrille Ngonga Tiwari, Balram Artificial Intelligence Logic in Computer Science 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 explaining positive entailments (why is C(a) entailed by the knowledge base) as well as missing entailments (why is C(b) not entailed) in isolation, contrastive explanations consider both at the same time, which allows them to focus on the relevant commonalities and differences between a and b. We develop an appropriate notion of contrastive explanations for the special case of ABox reasoning with description logic ontologies, and analyze the computational complexity for different variants under different optimality criteria, considering lightweight as well as more expressive description logics. We implemented a first method for computing one variant of contrastive explanations, and evaluated it on generated problems for realistic knowledge bases. |
| title | Can You Tell the Difference? Contrastive Explanations for ABox Entailments |
| topic | Artificial Intelligence Logic in Computer Science |
| url | https://arxiv.org/abs/2511.11281 |