W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > October 2002

Re: email straw poll: literal semantics proposals

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: Tue, 08 Oct 2002 18:23:21 +0100
Message-Id: <>
To: Frank Manola <fmanola@mitre.org>
Cc: RDF Core <w3c-rdfcore-wg@w3.org>

At 10:13 08/10/2002 -0400, Frank Manola wrote:


>1.  As the options are presented, it seems to me we're mixing (a) what the 
>semantics of otherwise undatatyped literals are, and (b) how to  get 
>datatypes attached to otherwise undatatyped literals.  It seems to me that 
>whatever scheme(s) we provide to do (b), we can't necessarily guarantee 
>people will use it/them, so we still have to have a clear answer to 
>(a).  (I think this means we need to intended entailments for the various 
>proposals, as well as the proposed syntax).

Thinking more about this, my previous response may have been 
inadequate.  The comments about what the literal denotes were meant to be a 
short hand to imply the entailments.  However, in more detail:


>>Proposal B:
>>   <rdf:Description rdf:about="Jenny">
>>     <foo:age>10</foo:age>
>>   </rdf:Description>
>>   <rdf:Description rdf:about="&foo;age>
>>     <rdfs:format rdf:resource="&xsd;integer"/>
>>   </rdf:Description>
>>The object of an age property denotes a string literal [*] from the 
>>lexical space of xsd:integer.

The tidy entailment holds.

>>Proposal C:
>>   <rdf:Description rdf:about="Jenny">
>>     <foo:age rdf:datatype="&xsd;integer>10</foo:age>
>>   </rdf:Description>
>>   <rdf:Description rdf:about="Film">
>>     <foo:title>10</foo:title>
>>   </rdf:Description>
>>The object of the age property denotes a member of the value space of 
>>xsd:integer.  The object of the title property denotes a string literal[*].

The tidy entailment holds, and:

   <a> <b> "10" .
   <c> <d> xsd:integer"10" .

does not entail:

   <a> <b> _:l .
   <c> <d> _:l .

>>Proposal D:
>>   <rdf:datatype rdf:property="&foo:age" rdf:datatype="&xsd;decimal"/>
>>   <rdf:Description rdf:about="Jenny">
>>     <foo:age>10</foo:age>
>>   </rdf:Description>
>>   <rdf:Description rdf:about="Johnny">
>>     <foo:age>10</foo:age>
>>   </rdf:Description>
>>Proposal D is proposal C with some syntactic sugar (the rdf:datatype 
>>declaration) so that it is not necessary to put an rdf:datatype attribute 
>>on every use of the age property.

as for C.

>>Proposal F:
>>   <rdf:Description rdf:about="Jenny">
>>     <foo:age>10</foo:age>
>>   </rdf:Description>
>>   <rdf:Description rdf:about="&foo;age>
>>     <rdfs:range rdf:resource="&xsd;decimal"/>
>>   </rdf:Description>
>>The object of an age property denotes an integer from the value space of 

The tidy entailment does not hold.

Does that help?

Received on Tuesday, 8 October 2002 13:26:20 UTC

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