removed unused AbstractSubDescriptionAxiom and ClassDescription