search

owlcs / jfact

JFact repository
13 stars 8 forks source link

NoClassDefFoundError for v 5.0.1 #20

Closed visraj1 closed 4 years ago

visraj1 commented 6 years ago

Hi,

I had been trying to run an ontology using HermiT and it gave out the results correctly. I am now trying to run the same ontology and using JFact 5.0.1 and its giving the below error. Is it due to the wrong version being used or are there any compatibility issues? I am using OWL API v5.1.0

Exception in thread "main" java.lang.NoClassDefFoundError: org/roaringbitmap/RoaringBitmap at uk.ac.manchester.cs.jfact.kernel.CWDArray.(CWDArray.java:28) at uk.ac.manchester.cs.jfact.kernel.CGLabel.(CGLabel.java:46) at uk.ac.manchester.cs.jfact.kernel.DlCompletionTree.(DlCompletionTree.java:144) at uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph.(DlCompletionGraph.java:97) at uk.ac.manchester.cs.jfact.kernel.DlSatTester.(DlSatTester.java:441) at uk.ac.manchester.cs.jfact.kernel.TBox.initReasoner(TBox.java:3093) at uk.ac.manchester.cs.jfact.kernel.TBox.prepareReasoning(TBox.java:1585) at uk.ac.manchester.cs.jfact.kernel.TBox.isConsistent(TBox.java:1052) at uk.ac.manchester.cs.jfact.kernel.ReasoningKernel.processKB(ReasoningKernel.java:1898) at uk.ac.manchester.cs.jfact.kernel.ReasoningKernel.realiseKB(ReasoningKernel.java:805) at uk.ac.manchester.cs.jfact.JFactReasoner.precomputeInferences(JFactReasoner.java:342)

ignazio1977 commented 6 years ago

The class path is incomplete, it's missing the roaring bitmap dependency.