Mirgrate to OWL-API v4.0