}
@Test
public void testHashCodeObjectTransitive() {
OWLObjectProperty prop = OP(IRI());
OWLPropertyAxiom axA = testSubject
.getOWLTransitiveObjectPropertyAxiom(prop);
OWLPropertyAxiom axB = testSubject
.getOWLTransitiveObjectPropertyAxiom(prop);
assertEquals(axA.hashCode(), axB.hashCode());
}