XML Schema for a Hornlog RuleML sublanguage, including negation as failure (NAF) File: nafhornlog.xsd Version: 0.89 Last Modification: 2005-07-14 Note: this sublanguage wasn't included in the official 0.89 release, but is now added for convenience. It will officially be part of the 0.9 release.