Pr4 UG rp Reas HermiT

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 HermiT OWL reasoner.

For more information, see:

• http://www.hermit-reasoner.com/
• http://protegewiki.stanford.edu/wiki/HermiT