- From: Sandro Hawke <sandro@w3.org>
- Date: Mon, 03 Apr 2006 00:07:48 -0400
- To: public-rif-wg@w3.org
Well, someone had to break the silence, so I've proposed three requirements: * RIF Core must cover pure Prolog * Extended RIF must cover FOL * Sound reasoning with unknown dialects I'm sorry, but I couldn't really see how to follow the template. Maybe other people can help tease out the Goals/CSFs. Also, I combined "Justification" and "Urgency" into "Motivation", because it's not clear to me how to separate them in practice. More details on http://www.w3.org/2005/rules/wg/wiki/Design_Constraints If you have specific changes you'd like to see to the text on the Wiki, just change it yourself. (If I don't like it, we'll know we have something to discuss.) More general discussion should probably be in e-mail; If it's about just one of the proposed requirements, I suggest putting its name (mini-statement) into the subject. -- Sandro
Received on Monday, 3 April 2006 04:07:52 UTC