Web Reasoning and Rule Systems - Calvanese, Diego; Kanade, Takeo; Lausen, Georg; Kittler, Josef (Springer Berlin Heidelberg, 2008)