- From: Gary Hallmark <gary.hallmark@oracle.com>
- Date: Mon, 06 Jul 2009 11:06:27 -0700
- To: Christian De Sainte Marie <csma@fr.ibm.com>
- CC: RIF WG <public-rif-wg@w3.org>, public-rif-wg-request@w3.org
I made these changes just now. Gary Hallmark wrote: > No. Compare BLD's And-then.type. This needs to be copied an modified > for PRD. The modifications include making the syntax restriction that > the And in a Then can contain only Atoms and Frames. > > On Mon, Jul 6, 2009 at 3:26 AM, Christian De Sainte > Marie<csma@fr.ibm.com> wrote: > >> Gary Hallmark wrote on 03/07/2009 00:52:53: >> >>> This one I did not fix: >>> It seems that the then-part of a rule can have an unrestricted >>> And(...). E.g. >>> >>> If ... Then And(_P(?x) Or(?x = 1 ?x = 2)) >>> >> Isn't that because the restriction to atoms and frames in the conclusion is >> a semantic, not a syntactic one? >> >> Christian >> >> ILOG, an IBM Company >> 9 rue de Verdun >> 94253 - Gentilly cedex - FRANCE >> Tel. +33 1 49 08 35 00 >> Fax +33 1 49 08 35 10 >> >> >> Sauf indication contraire ci-dessus:/ Unless stated otherwise above: >> Compagnie IBM France >> Siège Social : Tour Descartes, 2, avenue Gambetta, La Défense 5, 92400 >> Courbevoie >> RCS Nanterre 552 118 465 >> Forme Sociale : S.A.S. >> Capital Social : 609.751.783,30 € >> SIREN/SIRET : 552 118 465 02430 >> >> >> > > > >
Received on Monday, 6 July 2009 18:07:52 UTC