Difference between revisions of "HermiT 1.2.2"
From Protege Wiki
(Created page with '{{VersionOfPlugin |VersionOf=HermiT |Number=1.2.2 |LastUpdate=March 1, 2010 |CompatibleWith1=Protege-OWL 4.1 |Changelog=Minor bug fixes (complex concept queries didn't work prope...') |
|||
| Line 3: | Line 3: | ||
|Number=1.2.2 | |Number=1.2.2 | ||
|LastUpdate=March 1, 2010 | |LastUpdate=March 1, 2010 | ||
| + | |File=http://www.hermit-reasoner.com/download/1.2.2/ | ||
|CompatibleWith1=Protege-OWL 4.1 | |CompatibleWith1=Protege-OWL 4.1 | ||
|Changelog=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. | |Changelog=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. | ||
}} | }} | ||
Latest revision as of 05:57, May 13, 2011
HermiT 1.2.2
Dependency
The following dependencies exist for HermiT 1.2.2:
not available
Changelog
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.
