Openllet is an open-source Java based OWL DL reasoner. It can be used in conjunction with either Jena or OWL API libraries. Openllet provides functionalities to check the consistency of ontologies, classify the taxonomy, check entailments, give explanations, and answer SPARQL-DL queries.
Openllet requires a JVM compatible with Oracle's Java version 1.8 or above. You can download Oracle's JVM or SDK at https://www.java.com/. If you have Java installed on your machine just unzip the Openllet distribution file to start using it.
Openllet comes with a simple command line interface to demonstrate some of its capabilities. This program provides options to check the consistency of an ontology, find unsatisfiable concepts, display the class hierarchy (with instances if desired), answer a SPARQL-DL query.
To run the command line version simply execute the following command
openllet.sh help
Running this command will print the options available.
You can access Openllet from Java applications using one of two different APIs designed to support Jena and OWL API libraries. The functionality in both packages is almost equivalent. See the javadocs for the details of interfaces and check out the examples directory for sample code. You can find the answers to some Frequently Asked Questions in Openllet FAQ.
If you are starting from a distribution, Openllet comes pre-built, with all the required libraries included in the zip file.
To use the Openllet build system, you need Apache Maven, version 3.5.2 or above. You can download a copy of Maven at http://ant.apache.org/.
Running 'mvn clean install' in the trunk directory should be enough. The resulting files are placed in the directory dist/.
The file will be available in the 'distribution/target' directory.
You can discuse the future of this opensource project here : https://gitter.im/Galigator/pelletEvolution or via github inner system.