Difference between revisions of "SOVA 0.7.6"
From Protege Wiki
| Line 6: | Line 6: | ||
|CompatibleWith1=Protege-OWL 4.1 | |CompatibleWith1=Protege-OWL 4.1 | ||
|CompatibleWith2=Protege-OWL 4.2 | |CompatibleWith2=Protege-OWL 4.2 | ||
| − | |DependsOn1=HermiT | + | |DependsOn1=HermiT |
|Changelog=update to OWL-API 3.2.3 | |Changelog=update to OWL-API 3.2.3 | ||
| Line 13: | Line 13: | ||
REUPLOADED FILE with manifest fix! | REUPLOADED FILE with manifest fix! | ||
}} | }} | ||
| + | <div style="width:100%;float:left;"> | ||
NOTE: You still need to select it beforehand in Protege-OWL menu and start the Reasoner before displaying inferred hierarchy! | NOTE: You still need to select it beforehand in Protege-OWL menu and start the Reasoner before displaying inferred hierarchy! | ||
| + | </div> | ||
Revision as of 17:10, March 18, 2012
SOVA 0.7.6
Dependency
The following dependencies exist for SOVA 0.7.6:
Changelog
update to OWL-API 3.2.3
Reasoner changed to HermiT
REUPLOADED FILE with manifest fix!
NOTE: You still need to select it beforehand in Protege-OWL menu and start the Reasoner before displaying inferred hierarchy!
