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 EDT

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