owlcs / jfact

JFact repository
13 stars 8 forks source link

IndividualName does not have a correct reverse mapping #22

Open OndrejZamazal opened 3 years ago

OndrejZamazal commented 3 years ago

Hi, I encountered on problems when working with the Good Relations ontology, https://lov.linkeddata.es/dataset/lov/vocabs/gr/versions/2011-10-01.n3 using OWL API 5.1.12 and JFact reasoner 5.0.3. I needed to get instances by employing the JFact reasoner. The related code as follows

reasoner.getInstances(cls, false);

For this line I get the following exception

java.lang.IllegalStateException: IndividualName(_:genid2147483648) does not have a correct reverse mapping at org.semanticweb.owlapi.util.OWLAPIPreconditions.verifyNotNull(OWLAPIPreconditions.java:56) at uk.ac.manchester.cs.jfact.OWLEntityTranslator.getEntityFromPointer(OWLEntityTranslator.java:61) at uk.ac.manchester.cs.jfact.IndividualTranslator.getEntityFromPointer(IndividualTranslator.java:1) at uk.ac.manchester.cs.jfact.TranslationMachinery.lambda$6(TranslationMachinery.java:166) at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183) at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175) at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384) at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482) at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472) at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150) at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173) at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485) at uk.ac.manchester.cs.jfact.TranslationMachinery.translateNodeSet(TranslationMachinery.java:166) at uk.ac.manchester.cs.jfact.JFactReasoner.getInstances(JFactReasoner.java:749)

Would you have any idea what could be done with this issue?

Thank you Ondrej