XML Schema for a Higher-Order Logic RuleML sublanguage File: hohornlog.xsd Version: 0.9 Last Modification: 2005-11-09