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