OWLClass clsB = Class(iri("ClsB"));
OWLClass clsC = Class(iri("ClsC"));
OWLObjectPropertyExpression propA = ObjectProperty(iri("propA"));
OWLDataPropertyExpression propB = DataProperty(iri("propA"));
OWLIndividual indA = NamedIndividual(iri("indA"));
OWLAnnotationProperty annoProp = AnnotationProperty(iri("annoProp"));
Set<OWLAxiom> axioms1 = new HashSet<>();
axioms1.add(SubClassOf(clsAIRI1, clsB));
axioms1.add(EquivalentClasses(clsAIRI1, clsC));
axioms1.add(DisjointClasses(clsAIRI1, clsC));
axioms1.add(ObjectPropertyDomain(propA, clsAIRI1));