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
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
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)