Derivation RuleML schema of Reaction RuleML including negation as failure (NAF), explicit strong negation (Neg), equational logic (Equal) This layer defines the Derivation RuleML part of Reaction RuleML. It adds necessary extensions to the RuleML hornlog layer for the Derivation RuleML language family. File: dr.xsd Version: 0.2 Last Modification: 2007-07-01 This schema declares the following Reaction RuleML elements and attributes: * rename Implies into Rule (if-then-else) * redefines RuleML by adding label, scope, qualification * redefines Assert, Retract by adding Rule, label, scope, qualification * redefines Query by adding label, scope, qualification * redefines Rulebase by adding Rule, label, scope, qualification * redefines formula by adding Rule, label, scope, qualification * redefines Atom by adding label, scope, qualification * redefines Var by adding @mode (input / output mode declaration) * redefines Rel and Fun by adding @per * add Naf, Neg and Equal Rule is the core construct for all types of rules in Reaction RuleML. Equal can be used to bind constructed objects from procedural attachments or external queries to variables, e.g. X = java.lang.String("xxx"), i.e. bind the String object "xxx" to the variable X 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/].