RuleML

The Rule Markup Language (RuleML) is a markup language developed to express both forward (bottom-up) and backward (top-down) rules in XML for deduction, rewriting, and further inferential-transformational tasks. It is defined by the Rule Markup Initiative, an open network of individuals and groups [http://www.dfki.de/~urban/ruleml/inlogos.html from both industry and academia] that was formed to develop a canonical Web language for rules using XML markup and transformations from and to other rule standards/systems.

Markup standards and initiatives related to RuleML include:
* Mathematical Markup Language (MathML): However, MathML's Content Markup is better suited for defining functions rather than relations or general rules
* DARPA Agent Markup Language (DAML): While the contributing SHOE project has permitted Horn rules and a DAML-RULES is planned, the current DAML+OIL (March 2001) does not yet include a specification of explicit inference rules
* Predictive Model Markup Language (PMML): With this XML-based language one can define and share various models for data-mining results, including association rules
* Attribute Grammars in XML (AG-markup): For AG's semantic rules, there are various possible XML markups that are similar to Horn-rule markup
* Extensible Stylesheet Language Transformations (XSLT): This is a restricted term-rewriting system of rules, written in XML, for transforming XML documents into other text documents

ee also

* Ontology (computer science)
* Business rules
* Business rules approach
* Semantic Web Rule Language
* R2ML
*

External links

* http://www.ruleml.org/
* [http://www.dfki.uni-kl.de/~boley/xmlag/attgramm/sld001.htm AG-markup]
* [http://www.rewerse.net/I1 REWERSE I1 WG]
* [http://hydrogen.informatik.tu-cottbus.de/wiki/index.php/Portal:Rules Rules Portal]