Pellet is an open source, OWL DL reasoner in Java that is developed, and commercially supported, by Clark & Parsia LLC. OWL is an international, web standard produced by the W3C.
Based on the tableaux algorithms for expressive Description Logics (DL), Pellet supports the full expressivity of OWL DL, including reasoning about nominals (enumerated classes). As of version 1.4, Pellet supports all the features proposed in OWL 1.1, with the exception of n-ary datatypes.
Pellet provides standard and cutting-edge reasoning services. It also incorporates various optimization techniques described in the DL literature and contains several novel optimizations for nominals, conjunctive query answering, and incremental reasoning. There’s more detailed information about the architecture of the system and its features in the Help.
Pellet & OWL2 Apps
- OwlSight is a lightweight, ontology browser for OWL that uses GWT
- Pronto is a probabilistic DL reasoner integrated with Pellet
- Owlgres is a scalable OWL2 DL-Lite reasoner using PostgreSQL
Commercial Support
Clark & Parsia provides Pellet commercial support. If you need support for Pellet, get in touch via email or drop by the Pellet commercial support site.