.withSub(dp).withSup(df.getOWLTopDataProperty());
OWLAxiom expected = df.getOWLSubDataPropertyOfAxiom(dp,
df.getOWLTopDataProperty());
OWLOntology o = m.createOntology();
// when
builder.applyChanges(o);
// then
assertTrue(o.containsAxiom(expected));
}
@Test