Protege Proof-Based Explanation

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.

License	The Apache Software License, Version 2.0
Categories	Protégé General Purpose Libraries Utility
GroupId	org.liveontologies
ArtifactId	protege-proof-explanation
Last Version	0.1.0
Release Date	Oct 12, 2017
Type	bundle
Description	Protege Proof-Based Explanation 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.
Project URL	https://github.com/liveontologies/protege-proof-explanation
Project Organization	Live Ontologies Project
Source Code Management	https://github.com/liveontologies/protege-proof-explanation

Download protege-proof-explanation

Filename	Size
protege-proof-explanation-0.1.0.pom
protege-proof-explanation-0.1.0.zip	310 KB
protege-proof-explanation-0.1.0-sources.jar	83 KB
protege-proof-explanation-0.1.0-javadoc.jar	244 KB

Dependencies

compile (8)

Group / Artifact	Type	Version
edu.stanford.protege : protege-editor-core	jar	5.0.0
edu.stanford.protege : protege-editor-owl	jar	5.0.0
net.sourceforge.owlapi : owlapi-osgidistribution	jar	4.2.5
org.liveontologies : puli	jar	0.1.0
com.google.guava : guava	jar	18.0
org.slf4j : slf4j-api	jar	1.7.12
org.eclipse.equinox : org.eclipse.equinox.registry	jar	3.5.101
org.apache.servicemix.bundles : org.apache.servicemix.bundles.javax-inject	jar	1_2

provided (1)

Group / Artifact	Type	Version
com.google.code.findbugs : jsr305	jar	2.0.3

test (1)

Group / Artifact	Type	Version
junit : junit	jar	4.12

Project Modules

There are no modules declared in this project.

Versions

Version
0.1.0 Oct 12, 2017