Why Not? Explaining Missing Entailments with $\rm E{\scriptsize VEE}$ (Technical Report)

要約

オントロジーユーザーにとって、記述ロジック推論器によって導出された論理的含意を理解することは、必ずしも簡単ではありません。
このため、正当化と証明を使用して含意を説明するためのさまざまな方法が開発され、オントロジー エディター Prot\’eg\’e のプラグインとして実装されています。
ただし、ユーザーが欠落した結果が保持されることを期待する場合、それがオントロジーから導出されない理由を説明することも同様に重要です。
この論文では、アブダクションと反例に基づいた既存および新しい手法を使用して、欠落している結果の説明も提供する Prot\’eg\’e プラグインである $\rm E{\scriptsize VEE}$ の新しいバージョンについて説明します。

要約(オリジナル)

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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google