Difference between revisions of "HermiT 1.2.2"

From Protege Wiki
Jump to: navigation, search
(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 06:57, May 13, 2011

HermiT 1.2.2

Version 1.2.2
Plugin HermiT
Last update March 1, 2010
Download HermiT 1.2.2
Compatible Protege Version

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.