Warning:
This wiki has been archived and is now read-only.

PositiveEntailmentTest

From RIF
Jump to: navigation, search

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.