update to OWLAPI 4 RC3