private void inferstrictC_sub_D(REXClassExpressionImpl sub,
			REXClassExpressionImpl sup) {
		// TODO Auto-generated method stub
		if(sub instanceof REXIndividualImpl && sup == factory.bottom)
		{
			factory.consistency = false;
			return;
		}
		if(sub == factory.top && sup == factory.bottom)
		{
			factory.consistency = false;
			return;
		}
		if(!sub.superClasses.contains(sup))
		{
			REXSubClassOfImpl newAxiom = factory.getstrictREXSubClassOf(sub, sup);
			if(newAxiom.tested)
				return;
			newAxiom.tested = true;
//			if(sub == context)
//				sub.localSchedule.add(newAxiom);
//			else
//			if(newAxiom.LHSQueue.compareAndSet(false, true))
			{
				sub.scheduleAdd(newAxiom);
				reasoner.addActiveContext(sub);
			}
//			if(sup == context)
//				context.localSchedule.add(newAxiom);
//			else
//			{
//				sup.scheduleAdd(newAxiom);
//				reasoner.addActiveContext(sup);
//			}
		}
	}