BriefGPT.xyz
Jun, 2022
OWL本体真正可解释性的前夕：采用Evee和Evonne的描述逻辑证明（扩展版）
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)
HTML
PDF
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez...
TL;DR
本文介绍了一个计算DLs证明的Java库及其在Protégé中的插件，并提供了一款显示计算结果的高级应用。
Abstract
When working with
description logic ontologies
, understanding
entailments
derived by a description logic reasoner is not always straightforward. So far, the standard ontology editor Prot\'eg\'e offers two service
→