Jump to: navigation, search
Status: stable
Last release: 2.3.0 (2011/08/22)
License: dual license: AGPL v.3.0 & proprietary
Affiliation: Clark & Parsia LLC

Pellet is an OWL DL reasoner based on the tableaux algorithms developed for expressive description log.css. It supports the full expressivity OWL DL including reasoning about nominals (enumerated classes). Therefore, OWL constructs owl:oneOf and owl:hasValue can be used freely. Pellet ensures soundness and completeness by incorporating the recently developed decision procedure for SHOIQ (the expressivity of OWL-DL plus qualified cardinality restrictions in DL terminology).