HermiT
HermiT
by Boris Motik, Birte Glimm, Giorgos Stoilos, Ian Horrocks, Rob Shearer
HermiT is an OWL 2 DL reasoner based on the hypertableau calculus.
Contents
Versions & Compatibility
This section lists available versions of HermiT.
| Version | Compatible with | Dependencies |
|---|---|---|
| HermiT 1.3.8 | Protege-OWL 4.1 Protege-OWL 4.2 Protege-OWL 4.3 | |
| HermiT 1.3.6 | Protege-OWL 4.2 | |
| HermiT 1.3.5 | Protege-OWL 4.2 | |
| HermiT 1.2.2 | Protege-OWL 4.1 | |
| HermiT 1.2.1 | Protege-OWL 4.1 |
If you click on the button below to add a new version of HermiT, you will be asked to define a page title for the new version. Please adhere to the naming convention of HermiT X.X.X when you define the new page!
Changelog
| Version | Changes in this version |
|---|---|
| HermiT 1.3.8 | For release notes, please see the readme.txt file in the HermiT JAR file. HermiT JAR file is located in <protege-install-dir>/plugins/org.semanticweb.HermiT.jar. |
| HermiT 1.3.6 | For release notes, please see the readme.txt file in the HermiT JAR file. HermiT JAR file is located in <protege-install-dir>/plugins/org.semanticweb.HermiT.jar. |
| HermiT 1.3.5 | Using OWL API 3.2.2. Improved object property classification. Fixed a bug in the detection of clashes involving InternalDatatype objects, and a bug in the instance manager. |
| HermiT 1.2.2 | Minor bug fixes (complex concept queries didn't work properly in the presence of role chains and transitivity), added a progress monitor for realization that is used by Protege. |
| HermiT 1.2.1 | Minor bug fixes (nominals and equality statements in the ABox were still not handled correctly if the ontology was nondeterministic, custom data ranges were not loaded correctly in some cases). |
HermiT is reasoner for ontologies written using the Web Ontology Language (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.
