Title: Context knowledge representation and reasoning in the Context Interchange system