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

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 UTC