Re: [RIF] Goals and Critical Success Factors as they relate to first-order logic

I just realized  that Widespread Adoption is already listed as a goal. 
Thus, that shouldn't be listed as a new goal below.

I am still suggesting that the FOL requirement be listed under two 
separate critical success factors, and two separate goals.

Regards,
Leora




Leora Morgenstern/Watson/IBM@IBMUS 
Sent by: public-rif-wg-request@w3.org
05/09/2006 10:58 AM

To
public-rif-wg@w3.org
cc

Subject
[RIF] Goals and Critical Success Factors as they relate to first-order 
logic







In response to my second action overdue from last week, I am proposing 
that the requirement that the RIF must be at least as expressive as 
first-order logic can be categorized under the following goals and 
critical success factors: 

Goal (existing):  Level of expressiveness 
    CSF 3 (new):  The RIF should be able to express standard Boolean 
operators as well as classic existential  and universal quantification. 
      Requirement: First-order logic 

Goal (new): The RIF should gain widespread acceptance throughout the 
industrial, research, and academic communities. 
   CSF1 (new): The RIF should be able to communicate in an important 
lingua franca of these communities. 
        Requirement: First-order logic 

Is it all right to have a single requirement be  under different goals and 
critical success factors? 

Best regards, 
Leora Morgenstern