论文标题
evonne：描述逻辑的交互式证明可视化（系统描述） - 扩展版本
Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version
论文作者
论文摘要
描述逻辑（DL）的说明说明为维持大本体论提供了重要的支持。在本体论编辑中通常用于此目的的“理由”指出了负责给定元素的本体部分的各个部分。需要的证据使中间的推理步骤明确，从而解释了如何实际得出后果。我们提出了一个用于探索描述逻辑证明的交互式系统，称为Evonne，该系统可视化对表达式DLS编写的本体的后果证明。我们描述了用于计算这些证明的方法以及称为基于签名的证明冷凝的功能。此外，我们使用实际本体论评估了生成的证明的质量。
Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The "justifications" usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsible for a given entailment. Proofs for entailments make the intermediate reasoning steps explicit, and thus explain how a consequence can actually be derived. We present an interactive system for exploring description logic proofs, called Evonne, which visualizes proofs of consequences for ontologies written in expressive DLs. We describe the methods used for computing those proofs, together with a feature called signature-based proof condensation. Moreover, we evaluate the quality of generated proofs using real ontologies.
