update to OWLAPI 4