This is the XML Schema module for RuleML connectives. File: connective_module.xsd Version: 0.91 Last Modification: 2006-08-23 This module declares the following RuleML elements and attributes: * Implies * body * head * Entails * Equivalent * torso * Rulebase * And * Or * formula * @mapMaterial * @material * @mapDirection * @direction * @mapClosure * @closure See http://www.ruleml.org/modularization for details about this modularization approach. Equalities within an equivalence expression must either both be interpreted or both uninterpreted.