fix OWL2DLProfileViolationsTest