XML Schema for a Horn-Logic RuleML sublanguage File: hornlog.xsd Version: 0.88 Last Modification: 2005-01-19