Web Reasoning and Rule Systems : First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings - Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie ((Lecture Notes in Computer Science))