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

Re: [RDF+OWL] Way of connecting RDF and RIF lists

From: Christian De Sainte Marie <csma@fr.ibm.com>
Date: Tue, 28 Apr 2009 16:18:15 +0200
To: Jos de Bruijn <debruijn@inf.unibz.it>
Cc: RIF <public-rif-wg@w3.org>, public-rif-wg-request@w3.org, Sandro Hawke <sandro@w3.org>
Message-ID: <OFABD5163E.031842ED-ONC12575A6.004E674F-C12575A6.004E9364@fr.ibm.com>
********* NOTICE **********
My new email address at IBM is: csma@fr.ibm.com
My ILOG email address will not be forwarded after June 8
*****************************



Jos De Bruijn wrote on 28/04/2009 14:27:06:
> 
> <snip/>
> 
> [...]
> 
> I could not think of a good example in BLD, but consider an extension of
> BLD with existentials in the head. You could write:
> 
> Exists ?x (ex:p(List(ex:a | ?x)))
> 
> 
> This does not entail:
> 
> Exists ?y (And(ex:p(List(ex:a | ?y)) is-list(?y)))

What if we removed malformed lists from RIF?

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 Tuesday, 28 April 2009 14:19:08 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:05 GMT