W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > September 2002

Re: syntax and semantics

From: Jan Grant <Jan.Grant@bristol.ac.uk>
Date: Mon, 23 Sep 2002 12:06:38 +0100 (BST)
To: Patrick Stickler <patrick.stickler@nokia.com>
cc: w3c-rdfcore-wg <w3c-rdfcore-wg@w3.org>
Message-ID: <Pine.GSO.4.44.0209231201470.28199-100000@mail.ilrt.bris.ac.uk>

On Mon, 23 Sep 2002, Patrick Stickler wrote:

> I wanted to briefly recap a proposal that I've alluded to in
> various recent posts, lest it get lost in the mix...
> Regarding tidyness the relation of syntactic and semantic equality:
> 1. Two nodes which may not be semantically equal must have distinct
>    labels (i.e. inline literals must be given unique labels)
> 2. All nodes with identitical labels are syntactically tidy in the
>    abstract graph, and thus are semantically equal.
> 3. Two nodes which do not have identical labels are not necessarily
>    semantically unequal. Equality may be determined based on additional
>    knowledge elsewhere in the graph or outside the scope of the RDF MT.
> 4. Applications may presume syntactic node intersection as equality
>    of meaning.
> 5. Applications may not presume syntactic node inequality as inequality
>    of meaning.

I believe this has already been most succinctly summarised by Jeremy,
who at one point observed that,

"The WG resolves to abide by the conclusions of elementary mathematics"


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/
Boycott Arabic numerals! What have they ever done for us?
Received on Monday, 23 September 2002 07:06:51 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:54:00 UTC