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).
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!
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)
Extension to the OWL API interfaces to represent and manipulate with proofs.
Artifact owlapi-proof
Group org.liveontologies
Version 0.1.0
Last update 13. October 2017
Organization Live Ontologies Project
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 1
Dependencies puli,
There are maybe transitive dependencies!
Group org.liveontologies
Version 0.1.0
Last update 13. October 2017
Organization Live Ontologies Project
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 1
Dependencies puli,
There are maybe transitive dependencies!
protege-proof-explanation from group org.liveontologies (version 0.1.0)
This is a plug-in that adds proof-based explanation facilities to the Protege
Desktop ontology editor. It registers as an extension to the Protege
explanation services and defines an extension point using which OWL proofs can
be provided by other Protege plug-ins. The main functionality of this plug-in
is displaying, navigating, and updating those proofs in the user interface.
0 downloads
Artifact protege-proof-explanation
Group org.liveontologies
Version 0.1.0
Last update 12. October 2017
Organization Live Ontologies Project
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 8
Dependencies protege-editor-core, protege-editor-owl, owlapi-osgidistribution, puli, guava, slf4j-api, org.eclipse.equinox.registry, org.apache.servicemix.bundles.javax-inject,
There are maybe transitive dependencies!
Group org.liveontologies
Version 0.1.0
Last update 12. October 2017
Organization Live Ontologies Project
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 8
Dependencies protege-editor-core, protege-editor-owl, owlapi-osgidistribution, puli, guava, slf4j-api, org.eclipse.equinox.registry, org.apache.servicemix.bundles.javax-inject,
There are maybe transitive dependencies!
puli from group org.liveontologies (version 0.1.0)
A library for manipulating with proofs based on inference rules.
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!
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)