public void shouldBuildHasKey() {
// given
OWLHasKeyAxiom expected = df.getOWLHasKeyAxiom(ce, ops, annotations);
BuilderHasKey builder = new BuilderHasKey(expected, df);
// when
OWLObject built = builder.buildObject();
// then
assertEquals(expected, built);
}