The ('''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 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 ( 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
|
