[UCR] some proposed requirements

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