Warning:
This wiki has been archived and is now read-only.
NegativeEntailmentTest
From RIF
(Redirected from Negative Entailment Test)
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.