Difference between revisions of "SOVA 0.7.6"

From Protege Wiki
Jump to: navigation, search
 
(One intermediate revision by the same user not shown)
Line 2: Line 2:
 
|VersionOf=SOVA
 
|VersionOf=SOVA
 
|Number=0.7.6
 
|Number=0.7.6
|LastUpdate=now
+
|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=update to OWL-API 3.2.3
+
|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

Version 0.7.6
Plugin SOVA
Last update November 10, 2011
Download SOVA 0.7.6
Compatible Protege Version

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!