Rules and Rule Markup Languages for the Semantic Web