tentative update to OWLAPI 4