W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2001

RE: Proposed issue resolutions

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Wed, 7 Nov 2001 14:35:02 -0600
Message-Id: <p0510105db80f4a755819@[65.212.118.166]>
To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
Cc: w3c-rdfcore-wg@w3.org
>I had assumed that:
>
>    aaa <rdf:type> <rdf:Bag> .
>
>    aaa <rdf:_NNN> bbb .
>    aaa <rdf:_MMM> ccc .
>
>
>
>=>
>
>   aaa <rdf:_MMM> bbb .
>
>
>where aaa is a bNode or URI and bbb, ccc are anything.
>
>(This means that a bag with n members licenses n^2 edges ).
>

Ah. OK, that would work, as long as one doesn't think that

aaa <rdf:_NNN> bbb .
aaa <rdf:_NNN> ccc .

is a contradiction. However, the other problem remains, that there 
seems to be no way to distinguish a bag from a set. For example, if 
the bag [aaa aaa bbb] has both aaa and bbb in every position, then 
how does it differ from the bag [aaa bbb] ? They both have bbb in the 
second place.

Pat



-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Wednesday, 7 November 2001 15:35:02 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:42:33 EDT