updated owlapi testing in porv module