The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics for ELbot

[Submitted on 17 Jun 2026 (v1), last revised 19 Jun 2026 (this version, v2)]

View PDF HTML (experimental)

Abstract:Abduction is a central approach to explain missing entailments from a knowledge base by providing a hypothesis, that would, if added to the knowledge base, make the missing entailment become true. Abduction under repair semantics has recently been investigated in detail, where several desirable properties and optimality criteria were considered, such as signature-restrictions and minimality in size and of introduced conflicts. Naturally, hypotheses that satisfy more than one of these properties or combine a property with an optimality criterion would be even more desirable for applications. So far, such hypotheses have not been investigated in the literature. In the present paper, we consider the ABox abduction problem for hypotheses satisfying more than one property or additional optimality criteria, for EL_bot under brave and AR semantics. Our main observation is that often requiring additional properties for hypotheses does not lead to an increase of complexity.

Submission history

From: Anselm Haak [view email]
[v1] Wed, 17 Jun 2026 15:36:17 UTC (62 KB)
[v2] Fri, 19 Jun 2026 08:47:21 UTC (62 KB)