Reasoning Web. Semantic Technologies for Software Engineering : 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures - Uwe Aßmann, Andreas Bartho, Christian Wende ((Lecture Notes in Computer Science))