Pellet
From semanticweb.org
| Pellet | |
|---|---|
| pellet.owldl.com | |
| Status: | Release Candidatewarning.png"Release Candidate" is not in the list of possible values (unknown, prototype, alpha, beta, stable, mature, inactive, superseded) for this property. |
| Last release: | 2.0 RC3 (November 13, 2008) |
| License: | MIT license |
| Affiliation: | Clark & Parsia |
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).
