Web Reasoning and Rule Systems - ten Cate (Springer International Publishing, 2015)