Search papers, labs, and topics across Lattice.
This paper explores ABox abduction in the context of EL_bot, focusing on hypotheses that satisfy multiple desirable properties and optimality criteria under brave and AR semantics. The authors find that combining properties does not necessarily increase computational complexity, challenging previous assumptions in the literature. This insight enhances the potential for more effective and efficient abduction strategies in knowledge bases, particularly for applications requiring nuanced explanations of missing entailments.
Combining multiple properties in ABox abduction doesn't increase complexity, opening new avenues for efficient knowledge base explanations.
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.
