Connective RuleML elements module. This is the XML Schema connectives module for RuleML. File: connective_module.xsd Version: 0.88 Last Modification: 2005-02-24 This module declares the following RuleML connectives: * Implies * body * head * Equivalent * torso * And (see the quantifier module for the "formula" role) * Or * formula * @direction * @innerclose * @closure 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/].