Pellet is an OWL DL reasoner based on the tableaux algorithms developed for expressive Description Logics. It supports the full expressivity OWL DL including reasoning about nominals (enumerated classes).

It can be used in conjunction with both Jena and OWL API libraries and also provides a DIG interface. Pellet provides functionalities to see the species validation, check consistency of ontologies, classify the taxonomy, check entailments and answer a subset of RDQL queries (known as ABox queries in DL terminology). You can also use the online demo which provides most of these functionalities.

Pellet started at the University of Maryland, College Park, contributers from C&P, IBM, Univeristy of Manchester and others, as well. You can find out more at the Pellet Homepage.