Automated Reasoning about Context and Ontology Evolution, 16-17 August (The Reasoner, 2010)