update to owlapi 3.5.10