Download org.liveontologies JAR files with all 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!

owlapi-proof from group org.liveontologies (version 0.1.0)

Group: org.liveontologies Artifact: owlapi-proof
Show documentation Show source

2 downloads

Artifact owlapi-proof
Group org.liveontologies
Version 0.1.0

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

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

0 downloads

Artifact protege-proof-explanation
Group org.liveontologies
Version 0.1.0

puli from group org.liveontologies (version 0.1.0)

A library for manipulating with proofs based on inference rules.

Group: org.liveontologies Artifact: puli
Show documentation Show source

4 downloads

Artifact puli
Group org.liveontologies
Version 0.1.0
Last update 11. October 2017
Organization Live Ontologies Project
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 2
Dependencies guava, slf4j-api,
There are maybe transitive dependencies!

Page 1 from 1 (items total 4)