Fixing bug in quest-owlapi3