Web reasoning and rule systems : first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings - Marchiori, Massimo (Lecture notes in computer science ;, 2007)