update to OWLAPI 4

Tests are now successful.