W3C home > Mailing lists > Public > public-rif-wg@w3.org > June 2006

can we all work together?

Date: Thu, 1 Jun 2006 01:06:13 -0600 (MDT)
Message-ID: <12707101.1149145573233.JavaMail.oracle@web217.oracle.com>
To: public-rif-wg@w3.org

I'll just toss this out for constructive criticism--

Start with the Boley et. al. common condition syntax from http://lists.w3.org/Archives/Public/public-rif-wg/2006Apr/0068.html

Add "heads" or "conclusions" or whatever you need to have logic-based or Horn rules and give these rules a model theory.  E.g. http://lists.w3.org/Archives/Public/public-rif-wg/2006May/0248.html
These rules should be expressive enough to use in the following steps.

Add production rule actions to the common condition syntax and give production rules a semantics using logic rules defined in the previous step.  See Hasan's email at http://lists.w3.org/Archives/Public/public-rif-wg/2006May/0115.html

Continue for ECA rules, etc.

Received on Thursday, 1 June 2006 07:06:22 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:39 UTC