---
_id: '61065'
abstract:
- lang: eng
  text: Abduction is the task of computing a sufficient extension of a knowledge base
    (KB) that entails a conclusion not entailed by the original KB. It serves to compute
    explanations, or hypotheses, for such missing entailments. While this task has
    been intensively investigated for perfect data and under classical semantics,
    less is known about abduction when erroneous data results in inconsistent KBs.
    In this paper we define a suitable notion of abduction under repair semantics
    and propose a set of minimality criteria that guides abduction towards `useful'
    hypotheses. We provide initial complexity results on deciding existence of and
    verifying abductive solutions with these criteria, under different repair semantics
    and for the description logics DL-Lite and EL_bot.
author:
- first_name: Anselm
  full_name: Haak, Anselm
  id: '109969'
  last_name: Haak
- first_name: Patrick
  full_name: Koopmann, Patrick
  last_name: Koopmann
- first_name: Yasir
  full_name: Mahmood, Yasir
  id: '99353'
  last_name: Mahmood
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: Haak A, Koopmann P, Mahmood Y, Turhan A-Y. Why not? Developing ABox Abduction
    beyond Repairs. <i>arXiv:250721955</i>. Published online 2025.
  apa: Haak, A., Koopmann, P., Mahmood, Y., &#38; Turhan, A.-Y. (2025). Why not? Developing
    ABox Abduction beyond Repairs. In <i>arXiv:2507.21955</i>.
  bibtex: '@article{Haak_Koopmann_Mahmood_Turhan_2025, title={Why not? Developing
    ABox Abduction beyond Repairs}, journal={arXiv:2507.21955}, author={Haak, Anselm
    and Koopmann, Patrick and Mahmood, Yasir and Turhan, Anni-Yasmin}, year={2025}
    }'
  chicago: Haak, Anselm, Patrick Koopmann, Yasir Mahmood, and Anni-Yasmin Turhan.
    “Why Not? Developing ABox Abduction beyond Repairs.” <i>ArXiv:2507.21955</i>,
    2025.
  ieee: A. Haak, P. Koopmann, Y. Mahmood, and A.-Y. Turhan, “Why not? Developing ABox
    Abduction beyond Repairs,” <i>arXiv:2507.21955</i>. 2025.
  mla: Haak, Anselm, et al. “Why Not? Developing ABox Abduction beyond Repairs.” <i>ArXiv:2507.21955</i>,
    2025.
  short: A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, ArXiv:2507.21955 (2025).
date_created: 2025-08-29T07:58:08Z
date_updated: 2026-02-05T13:55:48Z
department:
- _id: '574'
- _id: '888'
external_id:
  arxiv:
  - '2507.21955'
language:
- iso: eng
project:
- _id: '121'
  name: 'TRR 318; TP B01: Ein dialogbasierter Ansatz zur Erklärung von Modellen des
    maschinellen Lernens'
publication: arXiv:2507.21955
status: public
title: Why not? Developing ABox Abduction beyond Repairs
type: preprint
user_id: '109969'
year: '2025'
...