AINeutralarXiv – CS AI · 11h ago5/10
🧠
The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics in ELbot
This paper addresses ABox abduction in description logic EL_bot by investigating hypotheses that satisfy multiple desired properties simultaneously under repair semantics. The research demonstrates that combining signature restrictions with optimality criteria often does not increase computational complexity, advancing the theoretical foundations of knowledge base repair.