private void initialiseREXSubClassOf(REXClassExpressionImpl lhs,
			REXClassExpressionImpl rhs) {
		// TODO Auto-generated method stub
		REXSubClassOfImpl newAxiom = factory.getREXSubClassOf(lhs,rhs);
		newAxiom.initialise();
		if(false)
		if(lhs.complement != null && lhs.complement instanceof REXObjectIntersectionOfImpl)
		{
			REXObjectIntersectionOfImpl and = (REXObjectIntersectionOfImpl) lhs.complement;
			for(REXClassExpressionImpl conjunct:and.getEntities())
				if(conjunct.complement != null)
				{
					factory.getREXSubClassOf(conjunct.complement, rhs);
					conjunct.complement.addOriginalSuperClasses(rhs);
				}
		}

	}