This is the XML Schema module for equality in RuleML. File: equality_module.xsd Version: 0.91 Last Modification: 2006-08-18 This module declares the following RuleML elements and attributes: * Equal * lhs * rhs * @oriented * @val See http://www.ruleml.org/modularization for details about this modularization approach. A defining equality must have an interpreted left-hand side.