Re: A question about RIF lists, iris and local constants

PS: the discussion arose from proposed erratum 16.5 [1]

Christian

[1] http://www.w3.org/2005/rules/wiki/Errata#Erratum_16.5

IBM
9 rue de Verdun
94253 - Gentilly cedex - FRANCE
Tel./Fax: +33 1 49 08 29 81




From:   Christian De Sainte Marie/France/IBM@IBMFR
To:     public-rif-wg@w3.org
Cc:     Axel Polleres <axel.polleres@siemens.com>
Date:   15/11/2012 10:04
Subject:        A question about RIF lists, iris and local constants



All, 

A quick question: can a rif:iri or a rif:local constant be equated to a 
list term? 

That is, do condition expressions like the ones below make sense at all? 

<ex:myList> = List() 
_myList = List() 

The semantics of PRD does not exclude them, and we wondered if it 
should... 

Cheers, 

Christian 

IBM
9 rue de Verdun
94253 - Gentilly cedex - FRANCE
Tel./Fax: +33 1 49 08 29 81


Sauf indication contraire ci-dessus:/ Unless stated otherwise above:
Compagnie IBM France
Siège Social : 17 avenue de l'Europe, 92275 Bois-Colombes Cedex
RCS Nanterre 552 118 465
Forme Sociale : S.A.S.
Capital Social : 653.242.306,20 ?
SIREN/SIRET : 552 118 465 03644 - Code NAF 6202A 


Sauf indication contraire ci-dessus:/ Unless stated otherwise above:
Compagnie IBM France
Siège Social : 17 avenue de l'Europe, 92275 Bois-Colombes Cedex
RCS Nanterre 552 118 465
Forme Sociale : S.A.S.
Capital Social : 653.242.306,20 ?
SIREN/SIRET : 552 118 465 03644 - Code NAF 6202A