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