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.