Pellet: An Open Source OWL DL reasoner for Java
-----------------------------------------------

Pellet is the OWL 2 DL reasoner: 
 
* [open source](https://github.com/clarkparsia/pellet/blob/master/LICENSE.txt) (AGPL) or commercial license
* pure Java
* developed and [commercially supported](http://clarkparsia.com/support) by Clark & Parsia LLC. 

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

_Pellet 3.0, a closed source, next-gen version of Pellet, is embedded and available in [Stardog](http://stardog.com/), the RDF database._

Feel free to fork this repository and submit pull requests if you want to
see changes, new features, etc. in Pellet.

Documentation about how to use Pellet is in the doc/ directory and there are some 
code samples in the examples/ directory.                                    

Commercial support for Pellet is [available](http://clarkparsia.com/support). The [Pellet FAQ](http://clarkparsia.com/pellet/faq) answers some frequently asked questions.

There is a [pellet-users mailing list](https://groups.google.com/forum/?fromgroups#!forum/pellet-users) for questions and feedback. You can search [pellet-users archives](http://news.gmane.org/gmane.comp.web.pellet.user). 
Bug reports and enhancement requests should be sent to the mailing list. Before raising an issue, please search the [Pellet Issue Tracker](http://clark-parsia.trac.cvsdude.com/pellet-devel/report). Issues going forward are on [Github](http://github.com/clarkparsia/pellet/issues).

Thanks for using Pellet.
