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

Re: Update semantics LCC

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 15 Jan 2003 15:03:40 -0500 (EST)
Message-Id: <20030115.150340.125113688.pfps@research.bell-labs.com>
To: Jan.Grant@bristol.ac.uk
Cc: bwm@hplb.hpl.hp.com, w3c-rdfcore-wg@w3.org

From: Jan Grant <Jan.Grant@bristol.ac.uk>
Subject: Re: Update semantics LCC
Date: Wed, 15 Jan 2003 13:48:50 +0000 (GMT)


> The closure rules now include all XML literals with the appropriate
> canonical form, which means simple entailment now works. In fact, I see
> Pat's added a paragraph to that effect after the statement of the RDF
> entailment lemma.
> That addresses the only critical issue I had with that document.


Unfortunately, IL is inconsistently defined for rdf:XMLLiteral

In Section 3.1 there is

	if ... IL("xxx"^^rdf:XMLLiteral) is the XML canonical form of xxx
	if ... IL("xxx"@yyy^^rdf:XMLLiteral) is the XML canonical form of
		xxx with the language tag yyy

In Section 3.4 there is

	for any typed literal L of the form "sss"^^ddd or "sss"@ttt^^ddd in
	G, if I(ddd) is in D and "sss" ("sss"@ttt) is a valid lexical form
	for I(ddd), then IL(L) = L2V(I(ddd))(sss)

which is inconsitent for rdf:XMLLiteral as long as there is any
langauge-tagged XML document whose canonical form depends on the language

(I have actually fixed up the semantic rule.  As it is actually stated, it
doesn't even make sense.)

Peter F. Patel-Schneider
Bell Labs Research
Received on Wednesday, 15 January 2003 15:04:10 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:20 UTC