Browse wiki

From Protege Wiki

Jump to: navigation, search
HermiT 1.2.2
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.  +
Compatible with Protege-OWL 4.1 +
Last update 1 March 2010  +
Version file http://www.hermit-reasoner.com/download/1.2.2/  +
Version number 1.2.2  +
Version of HermiT +
Categories VersionOfPlugin  +
Modification dateThis property is a special property in this wiki. 13 May 2011 13:57:40  +
hide properties that link here 
  No properties link to this page.
 

 

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