Automated Reasoning about Context and Ontology Evolution, 11-12 July