tce / openllet

Openllet is an OWL 2 reasoner in Java, build on top of Pellet.

Openllet: An Open Source OWL DL reasoner for Java

Openllet is the OWL 2 DL reasoner:

Openllet can be used with Jena or OWL-API libraries. Openllet provides functionality to check consistency of ontologies, compute the classification hierarchy, explain inferences, and answer SPARQL queries.

Feel free to fork this repository and submit pull requests if you want to see changes, new features, etc. in Pellet. We need a lot more tests, send your samples if you can.

There are some code samples in the examples/ directory. Issues are on Github.

Openllet 2.6.X:

• Refactor modules dependencies.
• Enforce interface usage in the core system.
• Fullify strong typing in openllet core (2.6.1).
• Add support for rdf4j (2.6.2)

Changes :

• Introduction of version support for latter situation calculus support.

Migration :

• lots of com.clarkparsia.* / com.mindswap.* are refactor into openllet.* to avoid conflict has typing change a lot.

Openllet 2.5.X:

• full java 8 support, java 8 is a requierement.
• speed and stability improvement

Changes :

• Update versions of libs : owlapi 5, jena3 and lots more. Some old libs have been integrated and cleaned, strongly typed into openllet.
• Corrections : all tests works, no more warnings with high level of reports in Eclipse.

Migration :

• pellet/owlapi/src/main/java/com/clarkparsia/owlapiv3/ is now pellet/owlapi/src/main/java/com/clarkparsia/owlapiv/

• groupId com.clarkparsia.pellet is now com.github.galigator.openllet

    <dependency>
    	<groupId>com.github.galigator.openllet</groupId>
    	<artifactId>openllet-owlapi</artifactId>
    	<version>2.5.1</version>
    </dependency>
    <dependency>
    	<groupId>com.github.galigator.openllet</groupId>
    	<artifactId>openllet-jena</artifactId>
    	<version>2.5.1</version>
    </dependency>
  

Dependencies and security of modules of openllet :

Modules
Functions
Core
Jena
OwlApi
Query
Explanation
Modularity
Tools
Cli
Profiler
Pellint
Plugins
Protege
Others
Tests
Parent
Distribution
Examples

Pellet 1..2.3] Licences and supports:

• open source (AGPL) or commercial license
• pure Java
• developed and commercially supported by Complexible Inc.

Commercial support for Pellet is available. The Pellet FAQ answers some frequently asked questions.

There is a pellet-users mailing list for questions and feedback. You can search pellet-users archives. Bug reports and enhancement requests should be sent to the mailing list.

Thanks for using Pellet.