upgrade to the latest owlapi-distribution