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.