Статья исследует абдукцию в ELbot ABox по бравым и AR-семантикам, сосредоточившись на гипотезах, удовлетворяющих нескольким свойствам или критериям оптимальности. В ней показывается, что добавление таких свойств не значительно увеличивает вычислительную сложность.