Depends on OWL API 3.4.3
Updated instructions