Difference between revisions of "SOVA 0.7.6"
From Protege Wiki
| Line 2: | Line 2: | ||
|VersionOf=SOVA | |VersionOf=SOVA | ||
|Number=0.7.6 | |Number=0.7.6 | ||
| − | |LastUpdate= | + | |LastUpdate=November 10, 2011 |
|File=http://lab527.eti.pg.gda.pl/download.php?f=org.pg.eti.kask.ont.pluginSova.jar | |File=http://lab527.eti.pg.gda.pl/download.php?f=org.pg.eti.kask.ont.pluginSova.jar | ||
|CompatibleWith1=Protege-OWL 4.1 | |CompatibleWith1=Protege-OWL 4.1 | ||
Revision as of 18:11, 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!
