Knowledge Representation and Reasoning in the Context Interchange System