updated to owlapi