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