Web Reasoning and Rule Systems