update to owlapi 3.4.8