Difference between revisions of "SOVA 0.7.6"

Revision as of 00:10, November 9, 2011

SOVA 0.7.6

Version	0.7.6
Plugin	SOVA
Last update	now "now" contains an extrinsic dash or other characters that are invalid for a date interpretation.
Download	SOVA 0.7.6
Compatible Protege Version	Protege-OWL 4.1 Protege-OWL 4.2

The following dependencies exist for SOVA 0.7.6:

update to OWL-API 3.2.3

Reasoner changed to HermiT

NOTE: You still need to select it beforehand in Protege-OWL menu and start the Reasoner before displaying inferred hierarchy!

@@ Line 7: / Line 7: @@
 |CompatibleWith2=Protege-OWL 4.2
 |DependsOn1=HermiT Reasoner
-|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 (available with Protege-OWL). NOTE: You still need to select it beforehand in Protege-OWL menu and start the Reasoner before displaying inferred hierarchy!
+Reasoner changed to HermiT
 }}
+NOTE: You still need to select it beforehand in Protege-OWL menu and start the Reasoner before displaying inferred hierarchy!