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

Re: Updated semantics doc

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 16 Jan 2004 07:52:04 -0500 (EST)
Message-Id: <20040116.075204.117766612.pfps@research.bell-labs.com>
To: brian.mcbride@hp.com
Cc: herman.ter.horst@philips.com, w3c-rdfcore-wg@w3.org, phayes@ihmc.us, bwm@0-imap-1.hpl.hp.com

From: "Brian McBride" <brian.mcbride@hp.com>
Subject: Updated semantics doc
Date: Thu, 15 Jan 2004 15:43:44 -0000

> Herman, Peter,
> 
> After the flurry of recent discussion about the semantics doc, there is a
> proposal to RDFCore to consider a minor expositional change to the document
> along with some fixes to types.
> 
> This proposal is made in the agenda for Friday's telecon, agenda item 10 of
> 
> http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2004Jan/0053.html
> 
> I would be grateful if you would look at these changes and say that they are
> acceptable to you.
> 
> Brian

I note that the suggestion to not require all values of a datatype in a
D-interpretation, which has not been adopted, makes noticeable, significant,
and negative changes to D-entailment.   I see no reason that there could
not be a completeness lemma for D-entailment under the current model theory
for RDF datatyping.

Peter F. Patel-Schneider
Received on Friday, 16 January 2004 07:54:01 EST

This archive was generated by hypermail pre-2.1.9 : Friday, 16 January 2004 07:54:11 EST