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é的插件实现。然而，当用户期望某个缺失结论成立时，同样需要解释为何该结论无法从本体中推导得出。本文描述了$\rm E{\scriptsize VEE}$的新版本——该Protégé插件现已通过基于溯因和反例的既有及新技术，提供对缺失结论的解释功能。