COODE plugins compatible with OWLAPI v4 (original at http://co-ode-owl-plugins.googlecode.com/)