BuilderTransitiveObjectProperty builder = new BuilderTransitiveObjectProperty(
df).withProperty(op).withAnnotations(annotations);
OWLObject expected = df.getOWLTransitiveObjectPropertyAxiom(op,
annotations);
// when
OWLObject built = builder.buildObject();
// then
assertEquals(expected, built);
}
@Test