Protege Proof-Based Explanation protege-proof-explanation

Group	org.liveontologies
描述	This is a plug-in that adds proof-based explanation facilities to the Protege Desktop ontology editor. It registers as an extension to the Protege explanation services and defines an extension point using which OWL proofs can be provided by other Protege plug-ins. The main functionality of this plug-in is displaying, navigating, and updating those proofs in the user interface.
Packaging	bundle
Size	310.70 KB
文件	pom jar
网址	https://github.com/liveontologies/${project.artifactId}
发布时间	2017-10-12 23:52

dependencies

Group	Artifact	Version
edu.stanford.protege	protege-editor-core	5.0.0
edu.stanford.protege	protege-editor-owl	5.0.0
net.sourceforge.owlapi	owlapi-osgidistribution	4.2.5
${project.groupId}	puli	0.1.0
com.google.guava	guava	18.0
org.slf4j	slf4j-api	1.7.12
com.google.code.findbugs	jsr305	2.0.3
org.eclipse.equinox	org.eclipse.equinox.registry	3.5.101
org.apache.servicemix.bundles	org.apache.servicemix.bundles.javax-inject	1_2
junit	junit	4.12

developers

yevgeny	Yevgeny Kazakov	Institute of Artificial Intelligence, University of Ulm
pavel	Pavel Klinov	Institute of Artificial Intelligence, University of Ulm
petesko	Peter Skocovsky	Institute of Artificial Intelligence, University of Ulm
saa	Alexander Stupnikov	Tyumen State University, Russia

licenses

The Apache Software License, Version 2.0

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