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