Reasoner fails to load with OWLAPI 5.0.2

[Nicholas Robison]

When trying to use the reasoner with the new 5.x version of the Java owlapi, I get the following error on initalization:

java.lang.NoSuchMethodError: org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom.getFiller()Lorg/semanticweb/owlapi/model/OWLPropertyRange;

Works correctly when I switch back to 4.2.5.

[Dmitry Tsarkov]

Works currently with the latest 5.1.0

[ABhavsar26]

Can you help me understand how did you resolve this?

[Dmitry Tsarkov]

I've checked that the latest FaCT++ works with the latest OWLAPI 5. I'm not sure what exactly fixed this. The OWLAPI version changes from 5.0.2 to 5.1.0. In the mean time I've made a major refactoring of Java part. Each of these might contribute.

[ABhavsar26]

I am using OWL 5.1.0 and 1.6.5 version of FactPlusPlus, is this version you used?

[Dmitry Tsarkov]

Hmm,no I'm using Master branch for FaCT++. I'll double check wit 1.6.5

[Dmitry Tsarkov]

Leave it open until checking 1.6.5