update to owlapi 4 rc 2