Pellet

From semanticweb.org
Jump to: navigation, search
Pellet
clarkparsia.com/pellet
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 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).

Personal tools
Namespaces

Variants
Actions
Navigation
services
Toolbox