Tentative upgrade to OWL API 4.0.0