@Test
public void testCorrectAxioms() {
Set<OWLAxiom> axioms = new HashSet<>();
OWLClass clsA = Class(iri("A"));
OWLDatatype dt = Datatype(iri("B"));
OWLDataProperty propP = DataProperty(iri("p"));
axioms.add(SubClassOf(clsA, DataAllValuesFrom(propP, dt)));
axioms.add(Declaration(dt));
axioms.add(Declaration(propP));
assertEquals(getOnt().getAxioms(), axioms);