update to owlapi 4 RC 2