Migrate to OWL API v4.0