Pr4 UG rp Reas Pellet
From Protege Wiki
Reasoner - Pellet
Pellet includes support for OWL 2 profiles including OWL 2 EL. ...
It incorporates various optimization techniques,
including novel optimizations for nominals, conjunctive query answering,
and incremental reasoning. ...
Pellet fully supports the original OWL DL specification.
OWL 2 is a forthcoming revision of the international web standard
produced by the W3C for web-friendly ontologies.
Pellet currently supports most of the features proposed in OWL 2.
For more information, see: