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

Re: Update semantics LCC

From: Jan Grant <Jan.Grant@bristol.ac.uk>
Date: Wed, 15 Jan 2003 13:48:50 +0000 (GMT)
To: Brian McBride <bwm@hplb.hpl.hp.com>
cc: RDF Core <w3c-rdfcore-wg@w3.org>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Message-ID: <Pine.GSO.4.44.0301151346570.10754-100000@mail.ilrt.bris.ac.uk>

On Wed, 15 Jan 2003, Brian McBride wrote:

> Pat has managed to get an updated LCC semantics doc to me.  It seemed best
> to load it immediately to the website, which I have done.
>    http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-mt-20030117/
> There are no accompanying change notes, so I'm not sure what's
> changed.  However, based on my conversation with him, I'm expecting that:
>    o he has fixed the problem Peter raised about rdfs:Literal
>    o he has made at least one other change in response to a comment from Jan.
> Peter, could you take a look and see if it does indeed resolve the issue
> you raised?
> Other reviewers, could you check any critical issues you raised are
> dealt with.

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.

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/
Spreadsheet through network. Oh yeah.
Received on Wednesday, 15 January 2003 08:51:50 UTC

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