Difference between revisions of "SOVA 0.7.6"
From Protege Wiki
| Line 10: | Line 10: | ||
Reasoner changed to HermiT | 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! | NOTE: You still need to select it beforehand in Protege-OWL menu and start the Reasoner before displaying inferred hierarchy! | ||
Revision as of 04:15, November 10, 2011
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!
