Protege Justification Explanation protege-justification-explanation

Group	org.liveontologies
描述	A plug-in for the Protégé Desktop ontology editor that adds an explanation service for displaying minimal subset of axioms (justifications) for entailments. Compared to the explanation-workbench plug-in bundled with Protégé, this plug-in can use multiple providers for computing justifications. Each of these providers should be a plug-in that implements the new extension points (see plugin.xml).
Packaging	bundle
Size	101.05 KB
文件	pom jar
网址	https://github.com/liveontologies/${project.artifactId}
发布时间	2024-05-11 01:10

dependencies

Group	Artifact	Version
edu.stanford.protege	protege-editor-owl	5.5.0
edu.stanford.protege	protege-editor-core	5.5.0
edu.stanford.protege	protege-common	5.5.0
net.sourceforge.owlapi	owlapi-osgidistribution
org.slf4j	slf4j-api

developers

yevgeny	Yevgeny Kazakov	Institute of Artificial Intelligence, University of Ulm
saa	Alexander Stupnikov

licenses

The Apache Software License, Version 2.0

http://www.apache.org/licenses/LICENSE-2.0.txt