W3C home > Mailing lists > Public > www-rdf-comments@w3.org > April to June 2007

Re: Comment on RDF Model Theory

From: Ivan Herman <ivan@w3.org>
Date: Wed, 16 May 2007 12:03:38 +0200
Message-ID: <464AD6FA.8040209@w3.org>
To: Jeremy Carroll <jjc@hpl.hp.com>
Cc: www-rdf-comments@w3.org, Pat Hayes <phayes@ihmc.us>, "Turner, David" <davidt@hp.com>, Ralph Swick <swick@w3.org>
Thanks Jeremy. I have added the error to:

http://www.w3.org/2001/sw/RDFCore/errata.html

Thanks again.

Ivan

Jeremy Carroll wrote:
> 
> We suggest that the following text is in error:
> http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#DTYPEINTERP
> [[
> If D is a datatype map, a D-interpretation of a vocabulary V is any
> rdfs-interpretation I of V union {aaa: < aaa, x > in D for some x }
> which satisfies the following extra conditions for every pair < aaa, x >
> in D:
> ]]
> 
> we suggest that this text is better:
> [[
> If D is a datatype map, a D-interpretation of a vocabulary V is any
> rdfs-interpretation I of V union {aaa: < aaa, x > in D for some x }
> union { "sss"^^aaa : < aaa, x > in D for some x and "sss" in the lexical
> space of x }
> which satisfies the following extra conditions for every pair < aaa, x >
> in D:
> ]]
> 
> This is motivated so that the D-entailments recorded in RDF Test Cases
> do in fact hold.
> http://www.w3.org/TR/2004/REC-rdf-testcases-20040210/#tc_cert
> e.g.
> tests
> http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#semantic-equivalence-within-type-1
> 
> http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#semantic-equivalence-within-type-2
> 
> 
> involving files
> datatypes/test003a.nt
> and
> datatypes/test003b.nt
> 
> With the currently worded RDF Semantics these entailments do not hold.
> 
> Given that the spec is no longer in active development, we would be
> happy with a note in the erratum document to this effect, for formal
> consideration when this specification is next reviewed by a working group.
> 
> Jeremy Carroll
> David Turner
> 
> 

-- 

Ivan Herman, W3C Semantic Web Activity Lead
URL: http://www.w3.org/People/Ivan/
PGP Key: http://www.cwi.nl/%7Eivan/AboutMe/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf

Received on Wednesday, 16 May 2007 10:03:36 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:34 GMT