XML Schema for a First-Order Logic RuleML sublanguage, including negation as failure (NAF) and equational logic File: naffologeq.xsd Version: 0.91 Last Modification: 2006-08-18