RE: Proposed issue resolutions

>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 UTC