- From: Francois Bry <bry@ifi.lmu.de>
- Date: Thu, 01 Jun 2006 09:57:08 +0200
- To: Gary Hallmark <GARY.HALLMARK@ORACLE.COM>
- CC: public-rif-wg@w3.org
Gary Hallmark wrote: > 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 > > > > Very good proposal. This way, the WG could come up with usefull results. Francois
Received on Thursday, 1 June 2006 07:57:29 UTC