Web Reasoning and Rule Systems - Hitzler, Pascal; Kanade, Takeo; Lukasiewicz, Thomas; Kittler, Josef (Springer Berlin Heidelberg, 2010)