search

aehrc / snorocket

The Snorocket Description Logic classifier for EL++ with concrete domains support
Apache License 2.0
22 stars 6 forks source link

Latest version - 2.8.1 crashes in Protege 5.1.0 #8

Open hsolbrig opened 6 years ago

hsolbrig commented 6 years ago

Installed snorocket-protege-2.8.1-jar-with-dependencies.jar into the java/plugins directory. Running the reasoner gives:

017-10-16 03:27:12.607 [Classification Thread] INFO OWLReasonerManager ------------------------------- Running Reasoner ------------------------------- 2017-10-16 03:27:12.736 [Classification Thread] INFO OWLReasonerManager
2017-10-16 03:27:12.740 [Classification Thread] ERROR OWLReasonerManager An error occurred during reasoning: org.semanticweb.owlapi.model.OWLOntology.importsClosure()Ljava/util/stream/Stream;. java.lang.NoSuchMethodError: org.semanticweb.owlapi.model.OWLOntology.importsClosure()Ljava/util/stream/Stream; at au.csiro.snorocket.owlapi.SnorocketOWLReasoner.getAxioms(SnorocketOWLReasoner.java:274) ~[na:na] at au.csiro.snorocket.owlapi.SnorocketOWLReasoner.(SnorocketOWLReasoner.java:141) ~[na:na] at au.csiro.snorocket.owlapi.SnorocketReasonerFactory.createReasoner(SnorocketReasonerFactory.java:42) ~[na:na] at org.protege.editor.owl.model.inference.ReasonerUtilities.createReasoner(ReasonerUtilities.java:20) ~[na:na] at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.ensureRunningReasonerInitialized(OWLReasonerManagerImpl.java:428) ~[na:na] at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:386) ~[na:na] at java.lang.Thread.run(Thread.java:745) ~[na:1.8.0_40]

lawley commented 6 years ago

Hi Harold ,

You have a version compatibility problem.

Snorocket 2.8.1 uses OWL API 5, but Protege 5.1.0 only uses a 4.x version of OWL API so they will not work together.

Did you install it manually or through the auto update mechanism?

Michael

Sent from my iPhone

On 16 Oct 2017, at 10:29 am, Harold Solbrig notifications@github.com wrote:

Installed snorocket-protege-2.8.1-jar-with-dependencies.jar into the java/plugins directory. Running the reasoner gives:

017-10-16 03:27:12.607 [Classification Thread] INFO OWLReasonerManager ------------------------------- Running Reasoner ------------------------------- 2017-10-16 03:27:12.736 [Classification Thread] INFO OWLReasonerManager 2017-10-16 03:27:12.740 [Classification Thread] ERROR OWLReasonerManager An error occurred during reasoning: org.semanticweb.owlapi.model.OWLOntology.importsClosure()Ljava/util/stream/Stream;. java.lang.NoSuchMethodError: org.semanticweb.owlapi.model.OWLOntology.importsClosure()Ljava/util/stream/Stream; at au.csiro.snorocket.owlapi.SnorocketOWLReasoner.getAxioms(SnorocketOWLReasoner.java:274) ~[na:na] at au.csiro.snorocket.owlapi.SnorocketOWLReasoner.(SnorocketOWLReasoner.java:141) ~[na:na] at au.csiro.snorocket.owlapi.SnorocketReasonerFactory.createReasoner(SnorocketReasonerFactory.java:42) ~[na:na] at org.protege.editor.owl.model.inference.ReasonerUtilities.createReasoner(ReasonerUtilities.java:20) ~[na:na] at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.ensureRunningReasonerInitialized(OWLReasonerManagerImpl.java:428) ~[na:na] at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:386) ~[na:na] at java.lang.Thread.run(Thread.java:745) ~[na:1.8.0_40]

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.