|Name of the tool:||HermiT|
|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|
|Public mailing list:|
|Preferred project URI:|
|Company or institution:||Oxford University|
(Tool description last modified on 2011-01-9.)
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.