ACTION-143

 

This completes ACTION-143: Propose text for the informal definition of
covers.


We note that in this document we deliberately refrain from defining the
notion of "coverage" in a rigorous manner, since precisely what it
means for diverse rule languages to be "covered" by RIF may vary from
case to case.  Intuitively, when we say that "RIF covers rule language
L" we mean that rules written in L can be translated into RIF and the
resulting RIF rules can be used by software designed to work with RIF
to achieve essentially the same functionality as enabled by the
original L rules. 

Received on Monday, 16 October 2006 14:17:25 UTC