Is elk-reasoner compatible with java-7, or is there another reason for the following error?Â
Loading SNOMED owl ontology, (I obtained the OWL SNOMED using the script in SNOMED distro.), then trying to reasoning it with elk, I get the following error windows:
Error logged
org.semanticweb.elk.util.concurrent.computation.ComputationRuntimeException: Uncought exception in a worker thread:
at org.semanticweb.elk.util.concurrent.computation.ComputationExecutor$Worker.run(ComputationExecutor.java:184)
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1145)
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:615)
at java.lang.Thread.run(Thread.java:722)
Caused by: java.lang.RuntimeException: java.lang.InterruptedException
at org.apache.felix.framework.BundleWiringImpl$BundleClassLoader.findClass(BundleWiringImpl.java:2055)
at org.apache.felix.framework.BundleWiringImpl.findClassOrResourceByDelegation(BundleWiringImpl.java:1472)
at org.apache.felix.framework.BundleWiringImpl.access$400(BundleWiringImpl.java:75)
at org.apache.felix.framework.BundleWiringImpl$BundleClassLoader.loadClass(BundleWiringImpl.java:1923)
at java.lang.ClassLoader.loadClass(ClassLoader.java:356)
at org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain.<init>(SaturatedPropertyChain.java:54)
at org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyHierarchyComputationFactory$Engine.submit(ObjectPropertyHierarchyComputationFactory.java:70)
at org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyHierarchyComputationFactory$Engine.submit(ObjectPropertyHierarchyComputationFactory.java:60)
at org.semanticweb.elk.util.concurrent.computation.ConcurrentComputation$Worker.run(ConcurrentComputation.java:219)
at org.semanticweb.elk.util.concurrent.computation.ComputationExecutor$Worker.run(ComputationExecutor.java:182)
... 3 more
Caused by: java.lang.InterruptedException
at java.lang.Object.wait(Native Method)
at java.lang.Object.wait(Object.java:503)
at org.apache.felix.framework.BundleWiringImpl$BundleClassLoader.findClass(BundleWiringImpl.java:2050)
... 12 more
Object Property Hierarchy Computation using 8 workers
Could not start workers required for reasoner computation!
INTERRUPTED while loading Image
Object Property Hierarchy Computation finished in 7 ms
Exception thrown by listener: org.protege.editor.owl.model.OWLWorkspace$1. Â Detatching bad listener!
Error logged
org.semanticweb.owlapi.reasoner.ReasonerInternalException: org.semanticweb.elk.owl.exceptions.ElkRuntimeException: Could not start workers required for reasoner computation!
at org.semanticweb.elk.owlapi.ElkExceptionConverter.convert(ElkExceptionConverter.java:80)
at org.semanticweb.elk.owlapi.ElkConverter.convert(ElkConverter.java:119)
at org.semanticweb.elk.owlapi.ElkReasoner.isConsistent(ElkReasoner.java:827)
at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl.getReasonerStatus(OWLReasonerManagerImpl.java:225)
at org.protege.editor.owl.model.OWLWorkspace.updateReasonerStatus(OWLWorkspace.java:704)
at org.protege.editor.owl.model.OWLWorkspace.handleModelManagerEvent(OWLWorkspace.java:314)
at org.protege.editor.owl.model.OWLWorkspace.access$000(OWLWorkspace.java:129)
at org.protege.editor.owl.model.OWLWorkspace$1.handleChange(OWLWorkspace.java:227)
at org.protege.editor.owl.model.OWLModelManagerImpl.fireEvent(OWLModelManagerImpl.java:787)
at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner$1.run(OWLReasonerManagerImpl.java:371)
at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:251)
at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:727)
at java.awt.EventQueue.access$200(EventQueue.java:103)
at java.awt.EventQueue$3.run(EventQueue.java:688)
at java.awt.EventQueue$3.run(EventQueue.java:686)
at java.security.AccessController.doPrivileged(Native Method)
at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:76)
at java.awt.EventQueue.dispatchEvent(EventQueue.java:697)
at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:242)
at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:161)
at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:154)
at java.awt.WaitDispatchSupport$2.run(WaitDispatchSupport.java:182)
at java.awt.WaitDispatchSupport$4.run(WaitDispatchSupport.java:221)
at java.security.AccessController.doPrivileged(Native Method)
at java.awt.WaitDispatchSupport.enter(WaitDispatchSupport.java:219)
at java.awt.Dialog.show(Dialog.java:1082)
at java.awt.Component.show(Component.java:1651)
at java.awt.Component.setVisible(Component.java:1603)
at java.awt.Window.setVisible(Window.java:1014)
at java.awt.Dialog.setVisible(Dialog.java:1005)
at org.protege.editor.owl.ui.inference.ReasonerProgressUI$2.run(ReasonerProgressUI.java:148)
at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:251)
at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:727)
at java.awt.EventQueue.access$200(EventQueue.java:103)
at java.awt.EventQueue$3.run(EventQueue.java:688)
at java.awt.EventQueue$3.run(EventQueue.java:686)
at java.security.AccessController.doPrivileged(Native Method)
at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:76)
at java.awt.EventQueue.dispatchEvent(EventQueue.java:697)
at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:242)
at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:161)
at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:150)
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:146)
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:138)
at java.awt.EventDispatchThread.run(EventDispatchThread.java:91)
Caused by: org.semanticweb.elk.owl.exceptions.ElkRuntimeException: Could not start workers required for reasoner computation!
at org.semanticweb.elk.reasoner.ReasonerComputation.process(ReasonerComputation.java:96)
at org.semanticweb.elk.reasoner.stages.ObjectPropertyHierarchyComputationStage.execute(ObjectPropertyHierarchyComputationStage.java:83)
at org.semanticweb.elk.reasoner.stages.LoggingStageExecutor.complete(LoggingStageExecutor.java:56)
at org.semanticweb.elk.reasoner.stages.LoggingStageExecutor.complete(LoggingStageExecutor.java:51)
at org.semanticweb.elk.reasoner.stages.LoggingStageExecutor.complete(LoggingStageExecutor.java:51)
at org.semanticweb.elk.reasoner.stages.AbstractReasonerState.isConsistent(AbstractReasonerState.java:247)
at org.semanticweb.elk.owlapi.ElkReasoner.isConsistent(ElkReasoner.java:821)
... 42 more
I tried whether the problem comes from protege-reasoning api but pizza ontology has been successfully reasoned with both hermit and fact++ reasoners. So, I guess the problem is an incompatibility issue of elk with java7.