Pr4 UG rp Reas Pellet
From Protege Wiki
Reasoner - Pellet
comment Editing Glossary Outline
This plugin provides access to the Pellet reasoner.
-
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.
-- Pellet
For more information, see:
