Theories and uses of context in knowledge representation and reasoning