Update to OWLAPI 4