---
title: Abduction under Repair Semantics
url: https://www.emergentmind.com/topics/abduction-under-repair-semantics
type: topic
---

# Abduction under Repair Semantics

Abduction under repair semantics is a form of non-monotonic explanatory reasoning for inconsistent knowledge bases in which hypotheses are evaluated not against the raw inconsistent theory, but against its repairs. In the recent description-logic formulation, the starting point is an inconsistent knowledge base $\mathcal K=\langle \mathcal T,\mathcal A\rangle$ together with an observation $\alpha$ that is not entailed under a chosen repair semantics; a hypothesis is then an ABox extension $H$ such that $\mathcal T,\mathcal A\cup H\models_{\mathcal S}\alpha$ for $\mathcal S\in\{\mathrm{brave},\mathrm{ar}\}$ [2507.21955]. This departs from classical abduction, where consistency of the augmented knowledge base is required explicitly, and it also differs from database-repair approaches that focus on restoring global consistency rather than explaining a missing entailment. The topic lies at the intersection of repair theory, inconsistency-tolerant query answering, and logic-based abduction, with early model-theoretic and abductive work on repairing inconsistent databases providing a precursor perspective [0207085].

## 1. Historical and conceptual origins

A foundational precursor is the model-theoretic analysis of inconsistent databases by Arenas, Bertossi, and Chomicki’s contemporaries in the early repair literature, and, in the specific abductive line considered here, the paper "Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning" [0207085]. That work stated two complementary perspectives: a model-theoretic characterization of ways to "repair" a database by recovering consistent data from an inconsistent database, and an abductive application based on an abductive solver, the **A-system**, implementing an **SLDNFA-resolution** procedure, which computes data-facts to be inserted or retracted so as to keep the database consistent [0207085]. The abstract also states that the model-theoretic and abductive approaches are connected by soundness and completeness results.

In later description-logic work, the emphasis shifted from repairing inconsistency itself to explaining **missing entailments** in the presence of inconsistency. The paper "Why not? Developing ABox Abduction beyond Repairs" [2507.21955] explicitly positions the problem as abduction for inconsistent KBs under repair semantics, while "ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics" [2605.01341] provides a broader complexity map for this setting. A related but conceptually distinct line views abduction as a mechanism for **KB repair** in the sense of supplying missing assertions to recover an intended entailment, not in the sense of defining a repair semantics for inconsistent KBs [2105.00274].

This suggests a useful distinction between two research threads. One thread studies **repair as the primary semantic object**, so that reasoning proceeds over maximal consistent fragments or related structures. The other studies **abduction as an explanatory operation** whose output may itself function as a repair of a missing entailment. The topic of abduction under repair semantics occupies the overlap: the semantics is repair-based, but the computational task is abductive.

## 2. Repair semantics as the reasoning substrate

The standard setting in the recent description-logic papers assumes a knowledge base $\mathcal K=\langle \mathcal T,\mathcal A\rangle$ with inconsistent ABox data. A **repair** is a subset $\mathcal R\subseteq\mathcal A$ such that $\langle\mathcal T,\mathcal R\rangle\not\models\bot$ and $\mathcal R$ is subset-maximal with this property; a **conflict** is a subset-minimal $\mathcal T$-inconsistent subset of the ABox [2507.21955]. The set of all conflicts is denoted $\mathrm{Conf}(\mathcal K)$ [2507.21955].

Two semantics dominate this literature. Under **brave semantics**,
$$
\mathcal K \models_{\mathrm{brave}} q
\quad\text{iff}\quad
\exists\ \text{repair } \mathcal R \text{ of } \mathcal K \text{ such that } \langle\mathcal T,\mathcal R\rangle \models q.
$$
Under **AR semantics**,
$$
\mathcal K \models_{\mathrm{ar}} q
\quad\text{iff}\quad
\forall\ \text{repairs } \mathcal R \text{ of } \mathcal K,\ 
\langle\mathcal T,\mathcal R\rangle \models q.
$$
These definitions are treated as standard inconsistency-tolerant semantics in the recent ABox-abduction papers [2507.21955].

The repair layer restores non-trivial reasoning because classical entailment over an inconsistent KB becomes uninformative. "ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics" [2605.01341] states this point directly: with inconsistency, classical entailment collapses, and repair semantics regains meaningful reasoning by reasoning over maximal consistent ABox fragments. In that paper, the baseline entailment complexity recalled for concept assertions is $\mathrm{NL}$-complete for $\mathrm{brave}$ entailment in $\mathrm{DL\mbox{-}Lite}$ and $\mathrm{NP}$-complete in $\mathcal{EL}_\bot$, while $\mathrm{ar}$-entailment is $\mathrm{coNP}$-complete for all three logics considered there [2605.01341].

A related but different repair semantics appears in "Query Answering with Inconsistent Existential Rules under Stable Model Semantics" [1602.05699]. There, the database is assumed reliable and the rules may be unreliable; a repair is therefore a preferred subset $S\subseteq\Sigma$ of the rule set such that $D\cup S$ has a stable model, and no strictly preferred superset does [1602.05699]. Query answering requires truth in all preferred rule repairs. The paper explicitly connects these preferences to logic-based abduction, interpreting a rule repair as a preferred explanatory hypothesis about which rules to keep [1602.05699]. This does not define ABox abduction under repair semantics in the newer DL sense, but it shows that repair semantics can shift from data repair to hypothesis selection over rules.

## 3. Formal definition of abduction under repair semantics

The recent DL formulation begins with a promise setting. Let $\mathcal K=\langle \mathcal T,\mathcal A\rangle$ be inconsistent, let $\alpha$ be an atomic Boolean instance query or concept assertion, and let $\mathcal S\in\{\mathrm{brave},\mathrm{ar}\}$ such that $\mathcal K\not\models_{\mathcal S}\alpha$; then $(\mathcal K,\alpha)$ is an $\mathcal S$-abduction problem [2507.21955]. A hypothesis is an ABox $\mathcal H$ such that
$$
\langle \mathcal T,\mathcal A \cup \mathcal H\rangle \models_{\mathcal S} \alpha.
$$
In the 2026 formulation, hypotheses are required to use only individuals occurring in $\mathcal K$ and $\alpha$, and a signature-restricted variant $(\mathcal K,\alpha,\Sigma)$ further requires $\mathcal H$ to use only symbols from $\Sigma$ [2605.01341].

The decisive difference from classical abduction is that the augmented KB need not be classically consistent. Classical ABox abduction asks for $H$ such that $\mathcal T,\mathcal A\cup H\models\alpha$ and $\mathcal T,\mathcal A\cup H\not\models\bot$; under repair semantics, the full KB may remain inconsistent, and the target condition is instead repair-based entailment [2605.01341]. In the consistent case, these notions collapse because there is essentially only one repair, namely the whole ABox; the distinctive phenomena arise only in the inconsistent setting [2507.21955].

A central structural phenomenon is the role of the trivial hypothesis $\{\alpha\}$. Because observations are atomic BIQs, $\{\alpha\}$ can itself be a candidate explanation. The papers state that under **brave semantics**, $\{\alpha\}$ is always a hypothesis; under **AR semantics**, $\{\alpha\}$ may or may not work [2507.21955]. The 2026 paper formulates this as a lemma: for brave abduction, there is a brave-hypothesis for $(\mathcal K,\alpha)$ iff $\{\alpha\}$ is a brave-hypothesis; for AR abduction, there is an AR-hypothesis iff $\{\alpha\}$ is an AR-hypothesis iff $\{\alpha\}$ is conflict-confining for $\mathcal K$ [2605.01341]. This is one of the main reasons why non-triviality and signature restrictions become important.

A common misconception is to identify this framework with ordinary repair of inconsistent data. The recent papers are explicit that the task is not to compute a repair of $\mathcal K$ itself, but to compute a hypothesis that makes a missing entailment true **under** repair semantics. By contrast, the 2002 database paper uses abduction to compute insertions or retractions that restore consistency directly [0207085]. The two viewpoints are related, but they address different targets.

## 4. Hypothesis properties and repair-aware minimality

Because unrestricted repair-semantic abduction admits trivial or uninformative solutions, the literature develops several criteria for "useful" hypotheses. The 2026 paper lists four main properties: **non-trivial**, meaning $\alpha\notin H$; **$\preceq$-minimal** for $\preceq\in\{\subseteq,\leq\}$; **conflict-confining**, meaning
$$
\Conf(\mathcal{T},\mathcal{A}\cup H)=\Conf(\mathcal K);
$$
and **$\preceq_c$-minimal**, meaning that no hypothesis yields a strictly smaller conflict set than $H$ [2605.01341].

Conflict-confinement is the most repair-specific notion. In the 2025 paper it is defined by
$$
\mathrm{Conf}\bigl(\langle\mathcal T,\mathcal A\cup\mathcal H\rangle\bigr)=\mathrm{Conf}(\mathcal K),
$$
and the paper notes that this is equivalent to
$$
\langle\mathcal T,\mathcal R\cup\mathcal H\rangle \not\models \bot
\quad\text{for every repair } \mathcal R \text{ of } \mathcal K.
$$
Thus, adding the hypothesis must not create any new conflicts relative to the original inconsistent KB [2507.21955]. The 2026 paper generalizes this to conflict-minimality, allowing some new conflicts but penalizing hypotheses that introduce more of them [2605.01341].

The papers also study signature-based restrictions. In the more general ABox-abduction literature, a problem is given as $A=(\mathcal K,\Phi,\Sigma)$, and a hypothesis $\mathcal H$ must satisfy $\operatorname{sig}(\mathcal H)\subseteq\Sigma$ together with consistency and entailment conditions [2105.00274]. That work stresses that signature restriction preserves explanatory character by excluding "too shallow" or irrelevant names [2105.00274]. In the repair-semantics setting, the same device serves an additional role: it blocks the trivial hypothesis $\{\alpha\}$ when the observation symbol is not abducible [2507.21955].

Another line of work develops stronger relevance criteria in ontology-repair settings. In TBox abduction for $\mathcal{EL}$, "Connection-minimal Abduction in EL via Translation to FOL" [2205.08449] argues that subset, size, and semantic minimality are insufficient because they may allow hypotheses using concepts unrelated to the problem at hand. It introduces **connection minimality**, defined through concepts $D_1,D_2$ that connect the left- and right-hand sides of the observation and a weak homomorphism between their description trees [2205.08449]. Although this is TBox abduction rather than ABox abduction under repair semantics, it clarifies a general methodological point: minimality in repair-oriented abduction is not only about size, but also about structural relevance.

## 5. Complexity landscape

The most systematic classifications are given for $\mathcal{EL}_\bot$ and $\mathrm{DL\mbox{-}Lite}$ in [2507.21955], [2605.01341], and [2606.19197]. The results show that complexity depends sharply on the repair semantics, the logic, and the hypothesis property imposed.

Before summarizing the numbers, two structural explanations recur. First, in $\mathrm{DL\mbox{-}Lite}$, conflicts have size at most $2$, and minimal $\mathcal T$-supports of concept assertions have size $1$ [2605.01341]. Second, the set of AR-hypotheses need not be convex: there may be $H_1\subsetneq H_2\subsetneq H_3$ with $H_1,H_3$ hypotheses but $H_2$ not [2605.01341]. The former tends to keep complexity low in $\mathrm{DL\mbox{-}Lite}$; the latter helps explain higher complexity under AR semantics, especially with minimality.

| Setting | Main existence results | Main verification results |
|---|---|---|
| $\mathrm{DL\mbox{-}Lite}$ under repair semantics | General hypotheses: $\mathrm{NL}$-complete for $\mathrm{brave}$ and $\mathrm{ar}$; signature-restricted: $\mathrm{NL}$-complete for $\mathrm{brave}$ and $\mathrm{coNP}$-complete for $\mathrm{ar}$ [2605.01341] | General and $\leq$-minimal: $\mathrm{NL}$-complete for $\mathrm{brave}$ and $\mathrm{coNP}$-complete for $\mathrm{ar}$; $\subseteq$-minimal AR: $\mathrm{DP}$-complete [2605.01341] |
| $\mathcal{EL}_\bot$ under repair semantics | General hypotheses: $\mathrm{Ptime}$-complete for $\mathrm{brave}$ and $\mathrm{coNP}$-complete for $\mathrm{ar}$; signature-restricted: $\mathrm{NP}$-complete for $\mathrm{brave}$ and $\Sigma_2^P$-complete for $\mathrm{ar}$ [2605.01341] | General and $\leq$-minimal: $\mathrm{NP}$-complete for $\mathrm{brave}$ and $\mathrm{coNP}$-complete for $\mathrm{ar}$; $\subseteq$-minimal: $\mathrm{DP}$-complete for $\mathrm{brave}$ and $\Pi_2^P$-complete for $\mathrm{ar}$ [2605.01341] |
| $\mathcal{EL}_\bot$ with combined properties | Conflict-confining non-trivial existence: $\Sigma_2^p$-complete for both $\mathrm{brave}$ and $\mathrm{ar}$ [2606.19197] | Conflict-confining non-trivial verification: $\mathrm{DP}$-complete for $\mathrm{brave}$ and $\mathrm{coNP}$-complete for $\mathrm{ar}$; non-trivial or signature-restricted $\subseteq_c$-minimal verification: $\Pi_2^p$-complete for both semantics [2606.19197] |

The 2025 paper had already established core results in a slightly narrower setting. Without signature restriction, existence is trivial under brave semantics because $\{\alpha\}$ is always a brave-hypothesis, whereas under AR semantics existence is equivalent to checking whether $\{\alpha\}$ is conflict-confining, equivalently whether $\mathcal K\not\models_{\mathrm{brave}}\neg\alpha$; the paper gives $\mathrm{coNP}$-completeness for $\mathcal{EL}_\bot$ and $\mathrm{NL}$-completeness for $\mathrm{DL\mbox{-}Lite}$ [2507.21955]. With signature restriction, existence becomes $\mathrm{NP}$-complete for brave and $\Sigma_2^P$-complete for AR in $\mathcal{EL}_\bot$, while for $\mathrm{DL\mbox{-}Lite}$ the paper gives $\mathrm{NL}$-completeness for brave and $\Sigma_2^P$-membership for AR, with exact completeness left open there [2507.21955].

The 2026 follow-up on combining properties in $\mathcal{EL}_\bot$ emphasizes a meta-pattern: adding signature restriction or non-triviality often does not increase complexity beyond the corresponding harder base property, because these properties are polynomial-time checkable and downward closed [2606.19197]. The paper’s “main observation” is that often requiring additional properties for hypotheses does not lead to an increase of complexity [2606.19197].

A plausible implication is that the computational bottlenecks in repair-semantic abduction are driven less by simple syntactic admissibility constraints and more by the interaction between repair quantification and optimality criteria such as subset-minimality or conflict-minimality.

## 6. Related formulations and broader significance

The topic connects to several neighboring areas that use abduction for repair-like purposes without adopting the same formal semantics. In signature-based ABox abduction for expressive description logics, hypotheses may require fresh individuals, complex concepts, or both; the paper "Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics" [2105.00274] studies the complexity and size of such explanations. It states that ABox abduction has applications such as diagnosis, KB repair, and explaining missing entailments, but also makes clear that it does **not** define repairs, minimal repairs, or inconsistency-repair semantics [2105.00274]. Its repair connection is therefore explanatory rather than semantic.

That paper also shows how strongly syntactic restrictions affect the feasibility of explanation. For flat hypotheses, every solvable instance has a polynomial-size hypothesis in $\mathcal{EL}$, an exponential-size hypothesis in $\mathcal{ALC}$ and $\mathcal{ALCI}$, and no general upper bound in $\mathcal{ALCQ}$; with complex concepts, smallest hypotheses can be triple exponential in $\mathcal{ALC}$ [2105.00274]. This suggests that if repair-semantic abduction is extended beyond flat ABoxes and lightweight DLs, the choice of hypothesis language may become a decisive complexity parameter.

The rule-repair framework under stable model semantics offers another perspective on abductive repair. There, the hypothesis space is not a set of ABox assertions but a set of rules to retain. Preferred repairs are selected by inclusion, cardinality, priorities, or weights, and the paper explicitly states that these preference schemes are inspired by abduction and preferred explanation selection [1602.05699]. This can be read as an abductive semantics of **rule reliability** rather than a semantics of ABox extension.

Across these variants, one recurring theme is that repair-based abduction is best understood as a family of methods for reasoning under defeasibility induced by inconsistency. In one variant, the defeasible objects are ABox assertions retained in repairs; in another, they are candidate hypotheses added to an already inconsistent KB; in another, they are rules whose reliability is under question [1602.05699]. What remains constant is the shift from classical monotonic entailment to reasoning over preferred consistent surrogates.

## 7. Characteristic phenomena and research directions

Several phenomena distinguish abduction under repair semantics from classical abduction. First, the observation itself may be a hypothesis, especially under brave semantics [2507.21955]. Second, hypotheses need not preserve consistency of the full augmented KB; what matters is entailment over repairs [2605.01341]. Third, conflict-sensitive criteria such as conflict-confinement and $\preceq_c$-minimality have no direct classical counterpart and are specific to inconsistent-data settings [2507.21955]. Fourth, minimality behaves differently because AR-hypotheses can be non-convex, which contributes to higher complexity for subset-minimal verification [2605.01341].

The recent literature also indicates which questions remain open or only partially settled. In the 2025 study, the exact completeness of signature-restricted AR-existence in $\mathrm{DL\mbox{-}Lite}$ remained open, with $\Sigma_2^P$-membership shown [2507.21955]. In the 2026 combined-properties paper, the exact $\mathsf{ar}$ complexity of verification for $\subseteq$-minimal conflict-confining hypotheses is left open, and the paper also notes that the cardinality-conflict-minimal case $\leq_c$ is potentially much harder because a small hypothesis may induce exponentially many conflicts [2606.19197].

A broader research direction concerns integration with more expressive explanation languages. The lightweight-logics results are comparatively well mapped, whereas the expressive-DL literature already shows that allowing fresh individuals and complex concepts can produce exponential, double exponential, or triple exponential blow-ups in hypothesis size [2105.00274]. Another direction concerns extending from ABox to TBox repair-style abduction while retaining stronger relevance notions such as connection minimality [2205.08449].

Taken together, the literature presents abduction under repair semantics as a distinct explanatory paradigm for inconsistent knowledge bases: the goal is not merely to make an observation derivable, but to do so in a way that remains meaningful across repaired views of inconsistent data, and, when desired, without introducing new conflicts or by minimizing the conflicts introduced [2605.01341].

Source: https://www.emergentmind.com/topics/abduction-under-repair-semantics