- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Wed, 7 Nov 2001 14:35:02 -0600
- 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 UTC