W3C home > Mailing lists > Public > public-rif-wg@w3.org > July 2009

Re: [PRD] Another schema problem

From: Gary Hallmark <gary.hallmark@oracle.com>
Date: Mon, 6 Jul 2009 09:26:55 -0700
Message-ID: <499257640907060926r4a66cb5fp815abe70a45b27dc@mail.gmail.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 6 July 2009 16:27:31 GMT