XML Schema for a 'UR' Equational-Logic RuleML sublanguage File: urequalog.xsd Version: 0.87 Last Modification: 2004-07-23