}
@Test
public void testInverseInverseSimplification() {
OWLObjectProperty p = ObjectProperty(IRI("p"));
OWLObjectPropertyExpression inv = ObjectInverseOf(p);
OWLObjectPropertyExpression inv2 = ObjectInverseOf(inv);
OWLObjectPropertyExpression exp = inv2.getSimplified();
assertEquals(p, exp);
}