RuleML

Short for Rule Markup Language RuleML defines a shared Rule Markup Language, permitting both forward (bottom-up) and backward (top-down) rules in XML for deduction, rewriting, and further inferential-transformational tasks. It’s considered to be a markup language for the Semantic Web. The RuleML Initiative represents a collaborative research effort with a goal to develop RuleML as the Web language for rules using XML markup and formal semantics.