HermiT

From Protege Wiki

Jump to: navigation, search
Type Reasoner
Author(s) Boris Motik, Birte Glimm, Giorgos Stoilos, Ian Horrocks, Rob Shearer
Last Update March 1, 2010
License LGPL
Homepage HermiT website
For Application
Topic(s)
Affiliation

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).
Personal tools