Download protege-proof-explanation JAR file with all dependencies
protege-proof-explanation from group org.liveontologies (version 0.1.0)
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.
0 downloads
Artifact protege-proof-explanation
Group org.liveontologies
Version 0.1.0
Last update 12. October 2017
Tags: using other adds proof desktop updating displaying proofs facilities functionality services those protege explanation interface ontology main extension that point editor defines which plug registers navigating provided this user based
Organization Live Ontologies Project
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 8
Dependencies protege-editor-core, protege-editor-owl, owlapi-osgidistribution, puli, guava, slf4j-api, org.eclipse.equinox.registry, org.apache.servicemix.bundles.javax-inject,
There are maybe transitive dependencies!
Group org.liveontologies
Version 0.1.0
Last update 12. October 2017
Tags: using other adds proof desktop updating displaying proofs facilities functionality services those protege explanation interface ontology main extension that point editor defines which plug registers navigating provided this user based
Organization Live Ontologies Project
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 8
Dependencies protege-editor-core, protege-editor-owl, owlapi-osgidistribution, puli, guava, slf4j-api, org.eclipse.equinox.registry, org.apache.servicemix.bundles.javax-inject,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)