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

Re: [PRD] Another schema problem

From: Christian De Sainte Marie <csma@fr.ibm.com>
Date: Mon, 6 Jul 2009 12:26:53 +0200
To: Gary Hallmark <gary.hallmark@oracle.com>
Cc: RIF WG <public-rif-wg@w3.org>, public-rif-wg-request@w3.org
Message-ID: <OFF1488DC2.59839ECB-ONC12575EB.00391C7E-C12575EB.00396468@fr.ibm.com>
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 10:27:35 GMT

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