Reasoning web : third International Summer School 2007 : Dresden, Germany, September 2007 : tutorial lectures - Antoniou, Grigoris, 1961- (Lecture notes in computer science, 2007)