Difference between revisions of "SOVA 0.7.6"
From Protege Wiki
Line 7: | Line 7: | ||
|CompatibleWith2=Protege-OWL 4.2 | |CompatibleWith2=Protege-OWL 4.2 | ||
|DependsOn1=HermiT | |DependsOn1=HermiT | ||
− | |Changelog= | + | |Changelog=Update to OWL-API 3.2.3. Reasoner changed to HermiT. REUPLOADED FILE with manifest fix! |
− | |||
− | Reasoner changed to HermiT | ||
− | |||
− | REUPLOADED FILE with manifest fix! | ||
}} | }} | ||
<div style="width:100%;float:left;"> | <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> | </div> |
Latest revision as of 18:14, 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!