Pellet

From semanticweb.org

Jump to: navigation, search
Pellet
pellet.owldl.com
Status: stable
Last release: 1.5.2 (May 1 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).

Retrieved from "http://semanticweb.org/wiki/Pellet"
Personal tools