NegativeEntailmentTest

From RIF
Revision as of 18:29, 16 November 2008 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A "Negative Entailment Test" documents a case where a given RIF condition is not entailed by a given RIF document. It has an associated dialect D and is of the form

Premise
R
Conclusion
Q

Where R is a RIF document and Q is a RIF condition of the dialect D such that R does not entail C in the dialect D.