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