IndividualName does not have a correct reverse mapping

[OndrejZamazal]

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