OWL 本体真正可解释性前夕：基于 Evee 与 Evonne 的描述逻辑证明（扩展版）
计算机科学中的逻辑
2022-06-16 v1 人工智能
摘要
在使用描述逻辑本体时，理解由描述逻辑推理机推导出的蕴含并非总是直截了当。迄今为止，标准本体编辑器 Protégé 提供两项辅助服务：（黑盒）针对 OWL 2 DL 本体的理由说明，以及（玻璃盒）针对轻量级 OWL EL 本体的证明，后者利用了推理机 ELK 的证明功能。由于理由说明在解释推理时往往不够充分，因此对于更具表达力的描述逻辑，仅有极少的工具支持来解释推理。本文中，我们介绍 EVEE-LIBS，一个用于计算直至 ALCH 的描述逻辑证明的 Java 库，以及 EVEE-PROTEGE，一组用于在 Protégé 中展示这些证明的 Protégé 插件。我们还简要展示了最新版本的 EVONNE，一个更先进的独立应用，用于展示并与由 EVEE-LIBS 计算的证明进行交互。
引用
@article{arxiv.2206.07711,
title = {On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)},
author = {Christian Alrabbaa and Stefan Borgwardt and Tom Friese and Patrick Koopmann and Julián Méndez and Alexej Popovič},
journal= {arXiv preprint arXiv:2206.07711},
year = {2022}
}