Difference between revisions of "HermiT 1.3.5"

From Protege Wiki
Jump to: navigation, search
(Created page with "{{VersionOfPlugin |VersionOf=HermiT |Number=1.3.5 |LastUpdate=September 22, 2011 |CompatibleWith1=Protege-OWL 4.2 |Changelog=Using OWL API 3.2.2. Improved object property classi...")
 
(No difference)

Latest revision as of 11:49, October 3, 2011

HermiT 1.3.5

Version 1.3.5
Plugin HermiT
Last update September 22, 2011
Download not available
Compatible Protege Version

Dependency

The following dependencies exist for HermiT 1.3.5:

not available

Changelog

Using OWL API 3.2.2. Improved object property classification. Fixed a bug in the detection of clashes involving InternalDatatype objects, and a bug in the instance manager.