adapt to owlapi 4 rc 2