update to OWLAPI 4

JenaExplanationTest is still failing. However this has not changed from
the previous behaviour.