public  REXClassExpressionImpl getREXClassExpression(OWLClassExpression clazz){
		REXClassExpressionImpl cls = clazz.getNNF().accept(cEBuilder);
		if(smallT && cls.complement == null)
			getREXObjectComplementOf(cls);
		return cls;
	}