W3C home > Mailing lists > Public > www-rdf-comments@w3.org > January to March 2004

Re: minimizing the textual changes to RDF semantics

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 14 Jan 2004 12:28:27 -0500 (EST)
Message-Id: <20040114.122827.27003125.pfps@research.bell-labs.com>
To: phayes@ihmc.us
Cc: connolly@w3.org, herman.ter.horst@philips.com, jjc@hpl.hp.com, hendler@cs.umd.edu, schreiber@swi.psy.uva.nl, sandro@w3.org, www-rdf-comments@w3.org, bwm@hplb.hpl.hp.com

From: pat hayes <phayes@ihmc.us>
Subject: minimizing the textual changes to RDF semantics
Date: Wed, 14 Jan 2004 11:08:26 -0600

> In order to bring down the temperature, allow me to modify my 
> suggested changes to the PR document. The result should be exactly 
> similar to the semantics described in 2004a, but with less change to 
> the actual PR text, and is visible at
> http://www.ihmc.us/users/phayes/RDF_Semantics_2004b.html
> see especially
> http://www.ihmc.us/users/phayes/RDF_Semantics_2004b.html#defDinterp
> Just to clarify: my current proposal is a minimal revision of the 
> wording and style of presentation of section 5.1, in partial response 
> to criticisms from Herman, but does not change the actual semantics, 
> in response to observations by Peter.  I have tried to make the 
> textual changes minimal in order to avoid as much controversy as 
> possible at this stage.

Well, I believe that the semantics ARE changed by these changes.  In
particular, the vocabulary of a D-interpretation would be required to
include the URIs of all datatype names in D.  Similarly the dropping of the
requirement that the value space of a datatype be a subset of LV is a
change to the semantics.  Whether these changes are a good idea or even
whether they change any D-entailments is a separate issue.

> Brian, please use this as my suggested change to submit to the WG.


Peter F. Patel-Schneider
Bell Labs Research
Received on Wednesday, 14 January 2004 12:32:32 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:04 UTC