Web Reasoning and Rule Systems - Hitzler, Pascal (Springer Berlin Heidelberg, 2010)