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

RE: Proposed issue resolutions

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Wed, 07 Nov 2001 17:43:05 +0000
Message-Id: <5.1.0.14.2.20011107173939.03b7dec0@joy.songbird.com>
To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
Cc: <w3c-rdfcore-wg@w3.org>
At 02:11 PM 11/7/01 +0000, Jeremy Carroll wrote:



>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 ).

I don't think that works.  Consider a bag {* "aaa" "bbb" "bbb" *}

The 3^2=9 edges would be:

    aaa rdf:_1 "aaa" .
    aaa rdf:_1 "bbb" .
    aaa rdf:_1 "bbb" .
    aaa rdf:_2 "aaa" .
    aaa rdf:_2 "bbb" .
    aaa rdf:_2 "bbb" .
    aaa rdf:_3 "aaa" .
    aaa rdf:_3 "bbb" .
    aaa rdf:_3 "bbb" .

But, on removing duplicates, which the MT tells us are redundant:

    aaa rdf:_1 "aaa" .
    aaa rdf:_1 "bbb" .
    aaa rdf:_2 "aaa" .
    aaa rdf:_2 "bbb" .
    aaa rdf:_3 "aaa" .
    aaa rdf:_3 "bbb" .

Now does that bag contain 2 "aaa"s and 1 "bbb", or 1 "aaa" and 2 "bbb"s, or 
something else?

#g


------------------------------------------------------------
Graham Klyne                    MIMEsweeper Group
Strategic Research              <http://www.mimesweeper.com>
<Graham.Klyne@MIMEsweeper.com>
------------------------------------------------------------
Received on Wednesday, 7 November 2001 16:13:06 EST

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