Download JAR files tagged by justifications 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!

protege-justification-explanation from group org.liveontologies (version 0.1.0)

A plug-in for the Protégé Desktop ontology editor that adds an explanation service for displaying minimal subset of axioms (justifications) for entailments. Compared to the explanation-workbench plug-in bundled with Protégé, this plug-in can use multiple providers for computing justifications. Each of these providers should be a plug-in that implements the new extension points (see plugin.xml).

Group: org.liveontologies Artifact: protege-justification-explanation
Show documentation Show source

0 downloads

Artifact protege-justification-explanation
Group org.liveontologies
Version 0.1.0
Last update 10. 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 2)