Difference between revisions of "HermiT 1.2.1"

From Protege Wiki
Jump to: navigation, search
(Created page with '{{VersionOfPlugin |VersionOf=HermiT Reasoner |Number=1.2.1 |LastUpdate=March 1, 2010 |CompatibleWith1=Protege-OWL 4.1 |Changelog=Minor bug fixes (nominals and equality statements...')
 
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
 
{{VersionOfPlugin
 
{{VersionOfPlugin
|VersionOf=HermiT Reasoner
+
|VersionOf=HermiT
 
|Number=1.2.1
 
|Number=1.2.1
 
|LastUpdate=March 1, 2010
 
|LastUpdate=March 1, 2010

Latest revision as of 17:25, March 4, 2010

HermiT 1.2.1

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

Dependency

The following dependencies exist for HermiT 1.2.1:

not available

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