Updated to OWL API 3.4.9