Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures - AΓmann, Uwe (Springer-Verlag Berlin Heidelberg, 2010)