owlapi 3.5.2 snapshot