public void TBoxPostprocessing() {
		// TODO Auto-generated method stub
		factory.top.superClasses.add(factory.top);
		factory.top.equivalence.add(factory.top);
		factory.bottom.superClasses.add(factory.bottom);
		factory.bottom.equivalence.add(factory.bottom);
		for(REXClassImpl cls:factory.concepts.values())
			if(cls.original)
			{
				if(!cls.satisfiable)
					factory.bottom.equivalence.add(cls);
				else
				{
					cls.superClasses.add(factory.top);
				for(REXClassExpressionImpl sup:cls.superClasses)
					if(sup instanceof REXClassImpl && sup.asREXClassImpl().original && sup.superClasses.contains(cls))
					{
						cls.equivalence.add(sup.asREXClassImpl());
//						sup.asREL2ClassImpl().equivalence.add(cls);
					}
				}
			}
	}