Production RuleML schema of Reaction RuleML including
transactional update primitives (Assert, Retract)
and actions (do)
This layer defines the Production RuleML part of Reaction RuleML.
File: pr.xsd
Version: 0.2
Last Modification: 2007-07-01
This schema declares the following Reaction RuleML elements and attributes:
* redefines Rule by adding do, elseDo (action)
and after, elseAfter (post-condition)
* add transaction update primitives (Assert, Retract)
* redefines Assert by adding @safety (transactional update) and @all
* redefines Retract by adding @safety (transactional update) and @all
*
Assert and Retract can be used in the action part (do) or in style of
serial Horn rules in the body part (if) of a derivation rule
The approach is modelled after that used in "Modularization of XHTML in XML Schema"
WD [http://www.w3.org/TR/xhtml-m12n-schema/], which will soon be integrated with
"Modularization of XHTML" (REC-xhtml-modularization-20010410)
[http://www.w3.org/TR/xhtml-modularization/].