Warning:
This wiki has been archived and is now read-only.
PositiveEntailmentTest
From RIF
A "Positive Entailment Test" documents a case where a given RIF condition is 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 entails C in the dialect D.