Web Reasoning and Rule Systems: Five Years into the Conference