Hermit

HermiT

Name of the tool:	HermiT
Home page:	http://www.hermit-reasoner.com/
Date of latest release:
Programming language(s) that can be used with the tool:	Java
Relevant semantic web technologies:	OWL
Categories:	Reasoner, Programming Environment, OWL Reasoner
See also:	http://semanticweb.org/wiki/HermiT
Public mailing list:
Preferred project URI:
DOAP reference:
Company or institution:	Oxford University

(Tool description last modified on 2011-01-9.)

Description

HermiT is reasoner for ontologies written using OWL. Given an OWL file, HermiT can determine whether or not the ontology is consistent, identify subsumption relationships between classes, and much more.

HermiT is the first publicly-available OWL reasoner based on a novel “hypertableau” calculus which provides much more efficient reasoning than any previously-known algorithm. Ontologies which previously required minutes or hours to classify can often by classified in seconds by HermiT, and HermiT is the first reasoner able to classify a number of ontologies which had previously proven too complex for any available system to handle.