Web Reasoning and Rule Systems - Kontchakov (Springer International Publishing, 2014)