|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 logics. 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).