BriefGPT.xyz
Aug, 2023
为什么不呢？用EVE解释丢失的蕴涵（技术报告）
Why Not? Explaining Missing Entailments with $\rm E{\scriptsize VEE}$ (Technical Report)
HTML
PDF
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
TL;DR
描述逻辑推理器导出的逻辑蕴涵对本体用户来说并不总是直接明了。因此，我们描述了一个新版本的Protégé插件EVee，通过基于引导和反例的现有和新技术，为缺失的结果提供解释。
Abstract
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 pr
→