Download JAR files tagged by liveontologies 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).

Group: io.github.liveontologies Artifact: protege-proof-justification
Show documentation Show source

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!

Page 1 from 1 (items total 1)