Rule Markup Language (RuleML) for both forward (bottom-up) and backward (top-down) rules definition in XML for deduction, rewriting, and further inferential-transformational tasks.
RuleML covers the entire rule spectrum, from derivation rules to transformation rules to reaction rules.
RuleML can thus specify queries and inferences in Web ontologies, mappings between Web ontologies, and dynamic Web behaviors of workflows, services, and agents.
