发送短信: Context knowledge representation and reasoning in the context interchange system