Understanding logical entailments derived by a description logic reasoner is not always straight-forward for ontology users. For this reason, various methods for explaining entailments using justifications and proofs have been developed and implemented as plug-ins for the ontology editor Prot\'eg\'e. However, when the user expects a missing consequence to hold, it is equally important to explain why it does not follow from the ontology. In this paper, we describe a new version of $\rm E{\scriptsize VEE}$, a Prot\'eg\'e plugin that now also provides explanations for missing consequences, via existing and new techniques based on abduction and counterexamples.

翻译：理解描述逻辑推理机推导出的逻辑蕴含关系对本体论用户来说并不总是直观的。为此，研究人员开发了多种基于论证和证明来解释蕴含关系的方法，并将其作为Protégé本体编辑器的插件实现。然而，当用户预期某一结论成立却缺失时，解释该结论为何无法从本体中推导出来同样重要。本文介绍了一个新版本的Evee——一个Protégé插件，它现在通过基于溯因和反例的既有技术及新技术，也能提供缺失蕴含关系的解释。