Reasoning Web : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures - Norbert Eisinger, Jan Ma.uszy.ski ((Lecture Notes in Computer Science))