Updated to OWL API 3.5.1