Added preliminary materialization of class assertion axioms with complex concepts.