Browse wiki

From Protege Wiki

Jump to: navigation, search
HermiT 1.2.1
Changelog 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).  +
Compatible with Protege-OWL 4.1 +
Last update 1 March 2010  +
Version number 1.2.1  +
Version of HermiT +
Categories VersionOfPlugin  +
Modification dateThis property is a special property in this wiki. 5 March 2010 00:25:43  +
hide properties that link here 
HermiT Reasoner 1.2.1 + redirect page


Enter the name of the page to start browsing from.
Personal tools