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

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
Tags: liveontologies justifications utility explanation that prot desktop library computes provides from https justification proof ontology editor github using protege this service proofs puli stanford plug
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)