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, 06 Jul 2009 11:06:27 -0700
Message-ID: <4A523D23.3060409@oracle.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 6 July 2009 18:07:52 GMT