ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909010145312768 |
|---|---|
| author | Haak, Anselm Koopmann, Patrick Mahmood, Yasir Turhan, Anni-Yasmin |
| author_facet | Haak, Anselm Koopmann, Patrick Mahmood, Yasir Turhan, Anni-Yasmin |
| contents | Given a knowledge base (KB) with a non-entailed fact, the ABox abduction problem asks for possible extensions of the KB that would entail this fact. This problem has many applications, ranging from diagnosis to explainability and repair. ABox abduction has been well-investigated for consistent KBs and classical semantics, but little is known for the case of inconsistent KBs, which can be caused by erroneous data. In this paper we define suitable notions of abduction in this setting and propose criteria that guide abduction towards "useful" hypotheses. To regain meaningful reasoning in the presence of inconsistencies, we use well-established repair semantics. We provide a comprehensive landscape of the complexity of ABox abduction under repair semantics, treating different variants of the abduction problem for the light-weight description logics DL-Lite and EL_bot. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_01341 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics Haak, Anselm Koopmann, Patrick Mahmood, Yasir Turhan, Anni-Yasmin Logic in Computer Science Artificial Intelligence 68T30, 68Q25 I.2.4; F.2.2 Given a knowledge base (KB) with a non-entailed fact, the ABox abduction problem asks for possible extensions of the KB that would entail this fact. This problem has many applications, ranging from diagnosis to explainability and repair. ABox abduction has been well-investigated for consistent KBs and classical semantics, but little is known for the case of inconsistent KBs, which can be caused by erroneous data. In this paper we define suitable notions of abduction in this setting and propose criteria that guide abduction towards "useful" hypotheses. To regain meaningful reasoning in the presence of inconsistencies, we use well-established repair semantics. We provide a comprehensive landscape of the complexity of ABox abduction under repair semantics, treating different variants of the abduction problem for the light-weight description logics DL-Lite and EL_bot. |
| title | ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics |
| topic | Logic in Computer Science Artificial Intelligence 68T30, 68Q25 I.2.4; F.2.2 |
| url | https://arxiv.org/abs/2605.01341 |