XML Schema for a First-Order Logic RuleML sublanguage, including negation as failure (NAF) File: naffolog.xsd Version: 0.89 Last Modification: 2005-05-24