update to owlapi 4 (original at  https://sadi.googlecode.com)