HermiT 1.2.1

From Protege Wiki

(Redirected from HermiT Reasoner 1.2.1)
Jump to: navigation, search

HermiT 1.2.1

Version 1.2.1
Plugin HermiT
Last update March 1, 2010
Download not available
Compatible Protege Version


The following dependencies exist for HermiT 1.2.1:

not available


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