Web Reasoning and Rule Systems - Faber (Springer Berlin Heidelberg, 2013)