.withSub(op).withSup(df.getOWLTopObjectProperty())
.withAnnotations(annotations);
OWLObject expected = df.getOWLSubObjectPropertyOfAxiom(op,
df.getOWLTopObjectProperty(), annotations);
// when
OWLObject built = builder.buildObject();
// then
assertEquals(expected, built);
}
@Test