ABox abduction under repair semantics for inconsistent KBs yields a full complexity landscape in lightweight description logics DL-Lite and EL_bot.
2 Franz Baader, Ian Horrocks, Carsten Lutz, and Ulrike Sattler.An Introduction to Description Logic
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.LO 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Requiring multiple properties or optimality criteria for abduction hypotheses in ELbot under brave and AR semantics often does not raise complexity.
citing papers explorer
-
ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
ABox abduction under repair semantics for inconsistent KBs yields a full complexity landscape in lightweight description logics DL-Lite and EL_bot.
-
The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics in ELbot
Requiring multiple properties or optimality criteria for abduction hypotheses in ELbot under brave and AR semantics often does not raise complexity.