Automated Reasoning about Context and Ontology Evolution, 11-12 July. The Reasoner, v. 3, n. 9, 1 Sep.2009.