- From: Gary Hallmark <gary.hallmark@oracle.com>
- Date: Mon, 6 Jul 2009 09:26:55 -0700
- To: Christian De Sainte Marie <csma@fr.ibm.com>
- Cc: RIF WG <public-rif-wg@w3.org>, public-rif-wg-request@w3.org
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 > > -- Cheers, Gary Hallmark
Received on Monday, 6 July 2009 16:27:31 UTC