pointed at a more recent protege version
update for owlapi v4 release