Difference between revisions of "HermiT 1.2.1"
From Protege Wiki
(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 | + | |VersionOf=HermiT |
|Number=1.2.1 | |Number=1.2.1 | ||
|LastUpdate=March 1, 2010 | |LastUpdate=March 1, 2010 | ||
Latest revision as of 16:25, March 4, 2010
HermiT 1.2.1
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).
