Download protege-proof-justification JAR 0.1.0 with all dependencies
A plug-in for the [Protégé Desktop](https://protege.stanford.edu) ontology editor that provides a service for the
[Protege Justification Explanation](https://github.com/liveontologies/protege-justification-explanation) plug-in.
This service computes justifications from proofs using the
[Proof Utility Library PuLI](https://github.com/liveontologies/puli).
Files of the artifact protege-proof-justification version 0.1.0 from the group io.github.liveontologies.
Test
Artifact protege-proof-justification
Group io.github.liveontologies
Version 0.1.0
Last update 24. May 2024
Organization Live Ontologies Project
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.liveontologies
Version 0.1.0
Last update 24. May 2024
Organization Live Ontologies Project
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
The newest version!
Show all versions of protege-proof-justification Show documentation
Please rate this JAR file. Is it a good library?
0 downloads
Source code of protege-proof-justification version 0.1.0
META-INF
META-INF.maven.io.github.liveontologies.protege-proof-justification
io.github.liveontologies.protege.justification.proof
io.github.liveontologies.protege.justification.proof.preferences
io.github.liveontologies.protege.justification.proof.service
© 2015 - 2025 Weber Informatics LLC | Privacy Policy