从http://protegewiki.stanford.edu/wiki/SOVA下载的 sova 插件用于可视化
遵循上述链接中建议的这些步骤。
在 PG ETI SOVA 选项卡中选择 Hierarchy Tree Vis；
在推理菜单中选择 HermiT；
在推理器菜单中按开始推理器；
在 PG ETI SOVA 选项卡中按重新启动。
我怀疑推理器是否正在工作，状态窗口会迅速出现和消失，不会留下来。
我一年前使用过 SOVA，我不知道为什么它现在不起作用。我回到了 protege 4.3，因为即使是最新的 SOVA 版本也与 protege 5 不兼容。请放弃任何提示。谢谢！
这是部分错误消息
我正在使用 SOVA 0.8.4 和 Protege-OWL 4.3，它们应该与http://protegewiki.stanford.edu/wiki/SOVA兼容
2015 年 9 月 21 日更新：SOVA (8.4) 选项卡也不加载。Protege 4.2 也是如此。请注意，没有早期版本的 SOVA 是公开可用的。
错误 4 记录于 2015 年 9 月 21 日星期一 18:40:36 EDT UnsupportedClassVersionError: org/pg/eti/kask/ont/pluginSova/pluginSovaTab：不支持的 major.minor 版本 51.0 java.lang.ClassLoader.defineClass1(Native Method) java.lang .ClassLoader.defineClassCond(Unknown Source) java.lang.ClassLoader.defineClass(Unknown Source) org.apache.felix.framework.BundleWiringImpl$BundleClassLoader.findClass(BundleWiringImpl.java:2128) org.apache.felix.framework.BundleWiringImpl.findClassOrResourceByDelegation (BundleWiringImpl.java:1432) org.apache.felix.framework.BundleWiringImpl.access$400(BundleWiringImpl.java:72) org.apache.felix.framework.BundleWiringImpl$BundleClassLoader.loadClass(BundleWiringImpl.java:1843) java.lang。 ClassLoader.loadClass(Unknown Source) org.apache.felix.framework.Felix.loadBundleClass(Felix.java:1723) org.apache.felix.framework.BundleImpl.loadClass(BundleImpl.java:926) org.protege.editor.core.plugin.PluginUtilities.getExtensionObject(PluginUtilities.java:131) org.protege.editor.core.plugin.ExtensionInstantiator.instantiate( ExtensionInstantiator.java:74) org.protege.editor.core.ui.workspace.WorkspaceTabPluginJPFImpl.newInstance(WorkspaceTabPluginJPFImpl.java:99) org.protege.editor.core.ui.workspace.WorkspaceTabPluginJPFImpl.newInstance(WorkspaceTabPluginJPFImpl.java:30) org.protege.editor.core.ui.workspace.tabs.TabsMenuAction$1.actionPerformed(TabsMenuAction.java:50) javax.swing.AbstractButton.fireActionPerformed(未知来源) javax.swing.AbstractButton$Handler.actionPerformed(未知来源) javax .swing.DefaultButtonModel.fireActionPerformed（未知来源） javax.swing.JToggleButton$ToggleButtonModel。setPressed(Unknown Source) javax.swing.AbstractButton.doClick(Unknown Source) javax.swing.plaf.basic.BasicMenuItemUI.doClick(Unknown Source) javax.swing.plaf.basic.BasicMenuItemUI$Handler.mouseReleased(Unknown Source) java. awt.Component.processMouseEvent(Unknown Source) javax.swing.JComponent.processMouseEvent(Unknown Source) java.awt.Component.processEvent(Unknown Source) java.awt.Container.processEvent(Unknown Source) java.awt.Component.dispatchEventImpl(未知来源) java.awt.Container.dispatchEventImpl(未知来源) java.awt.Component.dispatchEvent(未知来源) java.awt.LightweightDispatcher.retargetMouseEvent(未知来源) java.awt.LightweightDispatcher.processMouseEvent(未知来源) java.awt .LightweightDispatcher.dispatchEvent（未知来源） java.awt.Container。dispatchEventImpl(Unknown Source) java.awt.Window.dispatchEventImpl(Unknown Source) java.awt.Component.dispatchEvent(Unknown Source) java.awt.EventQueue.dispatchEventImpl(Unknown Source) java.awt.EventQueue.access$000(Unknown Source) java.awt.EventQueue$1.run(Unknown Source) java.awt.EventQueue$1.run(Unknown Source) java.security.AccessController.doPrivileged(Native Method) java.security.AccessControlContext$1.doIntersectionPrivilege(Unknown Source) java.security .AccessControlContext$1.doIntersectionPrivilege(Unknown Source) java.awt.EventQueue$2.run(Unknown Source) java.awt.EventQueue$2.run(Unknown Source) java.security.AccessController.doPrivileged(Native Method) java.security.AccessControlContext$1 .doIntersectionPrivilege（未知来源） java.awt.EventQueue。dispatchEvent(Unknown Source) java.awt.EventDispatchThread.pumpOneEventForFilters(Unknown Source) java.awt.EventDispatchThread.pumpEventsForFilter(Unknown Source) java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source) java.awt.EventDispatchThread.pumpEvents(Unknown Source) java .awt.EventDispatchThread.pumpEvents（未知来源）