XML Schema for a Datalog RuleML sublanguage, including Negation as failure (NAF) File: nafdatalog.xsd Version: 0.88 Last Modification: 2005-01-21