- From: Gary Hallmark <GARY.HALLMARK@ORACLE.COM>
- Date: Thu, 1 Jun 2006 01:06:13 -0600 (MDT)
- 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. Cheers, Gary
Received on Thursday, 1 June 2006 07:06:22 UTC