Pr4 UG rp Reas Pellet

Reasoner - Pellet

comment   Editing   Glossary   Outline

Protege 4 User's Guide
Plugins
OPPL Patterns
OWL API
OWL Calculations
OWL Editor
Reasoner - FaCT++
Reasoner - HermiT
Reasoner - Pellet
Tab - DL Query
Tab - Excel Import
Tab - HERAKLES
Tab - Matrix
Tab - OntoGraf
Tab - OPPL
Tab - OWL Lint
Tab - OWL PropViz
Tab - OWLViz
Tab - Sub Ontology
View - ACE
View - Annotation Search
View - Annotation Template
View - BeanShell
View - Bookmarks
View - Cardinality
View - Change
View - Cloud
View - DL Learner
View - OBO Tools
View - OPL
View - Outline
View - OWL2UML
View - OWLDoc
View - SKOS Editor
View - Taxonomy Cut+Paste
View - TerMine
View - The Nerd
View - URI Tools
View - Watson Search Preview

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:

• Clark and Parsia
• Pellet