- From: Graham Klyne <Graham.Klyne@Baltimore.com>
- Date: Thu, 21 Jun 2001 15:06:15 +0100
- To: Brian McBride <bwm@hplb.hpl.hp.com>
- Cc: pat hayes <phayes@ai.uwf.edu>, w3c-rdfcore-wg@w3.org
I think it's worth acknowledging that rdf:Bag and rdf:Seq are two
constructs whose intended purpose is different, but whose formalized
semantics probably are not (other than whatever can taken from the name
change).
Lacking a general equivalence test for RDF containers (and I think the RDF
core does lack such) then I don't think it's possible to capture the
*intended* difference between rdf:Bag and rdf:Seq.
Pat: agreeing with what I think you're saying about the semantics of these
things, I think there is a "legacy" issue here: even if rdf:Bag and
rdf:Seq are, for semantical purposes, pretty much interchangeable at this
level of interpretation, there is software out there which will impose
further semantics. I hope and expect that once the RDF core is stabilized
and well-understood, further developments will allows us to capture and
formalize these differences.
#g
--
At 12:27 AM 6/21/01 +0100, Brian McBride wrote:
>pat hayes wrote:
> >
> > Does this
> >
> > <rdf:Bag>
> > <rdf:li>1</rdf:li>
> > <rdf:_10>10</rdf:li>
> > <rdf:li>11</rdf:li>
> > </rdf:Bag>
> >
> > ie
> > _:genid <rdf:type> <rdf:Bag>.
> > _:genid <rdf:_1> "1" .
> > _:genid <rdf:_10> "10" .
> > _:genid <rdf:_2> "11" .
> >
> > indicate/denote/represent a bag with three elements, or a bag with
> > (at least) 10 elements, 7 of which (numbered 3 through 9) are
> > unspecified?
>
>Ok, I'll play sucker. It represents a bag with at least the members "1",
>"10" and "11".
>
> >
> > In what way does this thing differ from the similar object gotten by
> > writing 'rdf:Seq' instead of 'rdf:Bag' ?
>
>That would be a sequence whose 1st member was "1", whose 10th member
>was "10" and whose 11th member was "11".
>
>Brian
------------------------------------------------------------
Graham Klyne Baltimore Technologies
Strategic Research Content Security Group
<Graham.Klyne@Baltimore.com> <http://www.mimesweeper.com>
<http://www.baltimore.com>
------------------------------------------------------------
Received on Thursday, 21 June 2001 10:11:40 UTC