owlapi upgrade