man.addAxiom(o, SubClassOf(clsD, clsF));
man.addAxiom(o, SubClassOf(clsF, clsD));
man.addAxiom(o, SubClassOf(clsE, clsC));
man.addAxiom(o, SubClassOf(clsK, clsD));
man.addAxiom(o, EquivalentClasses(clsK, OWLNothing()));
OWLObjectPropertyExpression propP = getPropP();
OWLObjectPropertyExpression propQ = getPropQ();
OWLObjectPropertyExpression propR = getPropR();
OWLObjectPropertyExpression propS = getPropS();
man.addAxiom(o, EquivalentObjectProperties(propP, propQ));
man.addAxiom(o, SubObjectPropertyOf(propP, propR));
man.addAxiom(o, InverseObjectProperties(propR, propS));
return o;
}