use latest OWLAPI snapshot