tentative port to OWLAPI 4.0.0