XML Schema for a higher-order Horn-Logic RuleML sublanguage with equational logic File: hohornlogeq.xsd Version: 0.91 Last Modification: 2006-08-18