@Test
public void shouldBuildTransitiveObjectProperty()
throws OWLOntologyCreationException {
// given
BuilderTransitiveObjectProperty builder = new BuilderTransitiveObjectProperty(
df).withProperty(op).withAnnotations(annotations);
OWLAxiom expected = df.getOWLTransitiveObjectPropertyAxiom(op,
annotations);
OWLOntology o = m.createOntology();
// when
builder.applyChanges(o);
// then
assertTrue(o.containsAxiom(expected));
}