W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > January 2003

Re: Issues danc-01 Re: 2 formalities in RDF concepts

From: Jan Grant <Jan.Grant@bristol.ac.uk>
Date: Wed, 29 Jan 2003 14:50:09 +0000 (GMT)
To: Dan Connolly <connolly@w3.org>
cc: Jeremy Carroll <jjc@hpl.hp.com>, RDFCore Working Group <w3c-rdfcore-wg@w3.org>
Message-ID: <Pine.GSO.4.44.0301291449370.11576-100000@mail.ilrt.bris.ac.uk>

On Wed, 29 Jan 2003, Dan Connolly wrote:

>
> On Wed, 2003-01-29 at 03:41, Jan Grant wrote:
> > On Tue, 28 Jan 2003, Dan Connolly wrote:
> >
> > > > Jeremy's talking about *syntactic* equality (ie, "X equals Y" means
> > > > "every expression involving X can be rewritten with Y substituted for it
> > > > and the expression's value is preserved"),
> > >
> > > Hmm... I wasn't familiar with that idea before... I'll have
> > > to think it over.
> > >
> > > But my intuition says the difference between syntactic
> > > equality and identity matters to the RDF spec.
> > >
> > > For example, if X and Y are distinct graphs that
> > > art syntactically equal, what's the cardinality
> > > of the set {X, Y}? It's 2, right?
> > >
> > > The model theory spec does stuff like putting
> > > graphs into sets, and I think it matters what
> > > the cardinality of the resulting set is;
> > > if X and Y are the graphs arising from
> > > the n-triples document jeremy gave as
> > > an example, I think the model theory
> > > spec depends on the cardinality of {X, Y} being 1.
> > >
> > > But I'm not certain. It could be that it doesn't
> > > matter.
> >
> > It doesn't; it's akin to thinking about how many number 10s there are:
> > you can take a view, but it's irrelevant to the way you do arithmetic.
>
> You're 100% certain that the RDF semantics document
> is indifferent to the cardinality of {X, Y} above?
> I'm not (yet) convinced.

Yes, absolutely.

-- 
jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/
Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/
Ceci n'est pas une pipe |
Received on Wednesday, 29 January 2003 09:50:39 EST

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