update to owlapi version 4 rc 2