Difference between revisions of "SOVA 0.7.6"
From Protege Wiki
| (2 intermediate revisions by the same user not shown) | |||
| 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 | ||
|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;"> | ||
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> | ||
Latest revision as of 17: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!
