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. -- 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/ The Java disclaimer: values of 'anywhere' may vary between regions.Received on Wednesday, 29 January 2003 04:42:08 EST
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:55:24 EDT