XML Schema for a Horn-Logic RuleML sublanguage with equational logic File: hornlogeq.xsd Version: 0.89 Last Modification: 2005-04-12