This is the XML Schema module for connective-related RuleML elements. File: connective_module.xsd Version: 0.9 Last Modification: 2005-11-14 This module declares the following RuleML elements and attributes: * Implies * body * head * Integrity * Equivalent * torso * And * Or * formula * @kind * @mapDirection * @direction * @mapClosure * @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/].