HermiT
From Protege Wiki
HermiT
by Boris Motik, Birte Glimm, Giorgos Stoilos, Ian Horrocks, Rob Shearer
HermiT is a 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.
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). |
