Difference between revisions of "SOVA 0.7.6"

From Protege Wiki
Jump to: navigation, search
(Created page with "{{VersionOfPlugin |VersionOf=SOVA |Number=0.7.6 |LastUpdate=now |File=http://lab527.eti.pg.gda.pl/download.php?f=org.pg.eti.kask.ont.pluginSova.jar |CompatibleWith1=Protege-OWL 4...")
 
 
(4 intermediate revisions by 2 users 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 Reasoner
+
|DependsOn1=HermiT
|Changelog=update to OWL-API 3.2.3 providing compatibility with recent versions of Protege-OWL
+
|Changelog=Update to OWL-API 3.2.3. Reasoner changed to HermiT. REUPLOADED FILE with manifest fix!
Reasoner changed to HermiT (available with Protege-OWL). NOTE: You still need to select it beforehand in Protege-OWL menu and start the Reasoner before displaying inferred hierarchy!
 
 
}}
 
}}
 +
<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!
 +
</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!