Requiring multiple properties or optimality criteria for abduction hypotheses in ELbot under brave and AR semantics often does not raise complexity.
Koopmann, Explaining reasoning results for description logic ontologies (invited paper), in: A
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
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.