synchronized with OWLAPI repo