Web Reasoning and Rule Systems - Hutchison, David; Kanade, Takeo; Kittler, Josef; Straccia, Umberto (Springer Berlin Heidelberg, 2012)