Automated Reasoning about Context and Ontology Evolution, 11-12 July (The Reasoner, 2009)