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

The paper presents an investigation into ABox abduction under repair semantics for the EL_bot framework, focusing on hypotheses that satisfy multiple desirable properties and optimality criteria. It highlights that combining properties does not necessarily increase computational complexity, which is significant for practitioners as it suggests more efficient approaches for generating hypotheses in knowledge bases without incurring additional computational costs. This research could enhance the explanatory power of AI systems by improving the generation of hypotheses that address missing entailments.