Download protege-proof-justification JAR file with all dependencies
protege-proof-justification from group io.github.liveontologies (version 0.1.0)
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).
0 downloads
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!
Page 1 from 1 (items total 1)