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

Re: Semantics of non-datatyped literals: Rationale (version 1)

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Tue, 01 Oct 2002 16:53:37 +0100
Message-Id: <5.1.0.14.2.20021001165131.034db250@127.0.0.1>
To: Brian McBride <bwm@hplb.hpl.hp.com>
Cc: Frank Manola <fmanola@mitre.org>, RDF Core <w3c-rdfcore-wg@w3.org>

At 11:14 AM 10/1/02 +0100, Brian McBride wrote:
>>b.  is the answer the same given the following RDF/XML
>>
>>   <rdf:Description rdf:about="Jenny">
>>     <foo:age>10</foo:age>
>>   </rdf:Description>
>>   <rdf:Description rdf:about="Film">
>>     <foo:title>10</foo:title>
>>   </rdf:Description>
>>
>>together with a schema declaration
>>
>><rdf:Description rdf:about="#age">
>>    <rdfs:range rdf:resource="&xsd;integer"/>
>></rdf:Description>
>
>This is an interesting one.  With untidy, then its a can't tell 
>again.  With tidy, its a contradiction.  The argument above said that 
>Jenny's age wasn't equal to xsd:integer"10".  In fact its not equal to any 
>xsd:integer, therefore the value given is inconsistent with the range 
>constraint.
>
>Does this hold water?  Do others disagree?

I agree with your analysis (except for a nit:  I'd say that it's logically 
false rather than a contradiction, because RDF can't express contradictions).

#g


-------------------
Graham Klyne
<GK@NineByNine.org>
Received on Tuesday, 1 October 2002 15:06:39 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:52:21 EDT