Re: datatype property in the statement object pair

[Patrick Stickler, Nokia/Finland, (+358 40) 801 9690, patrick.stickler@nokia.com]


----- Original Message ----- 
From: "ext Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
To: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
Sent: 27 September, 2002 14:53
Subject: datatype property in the statement object pair


> 
> there's actually a simple way to make desirable non entailments
> 
> if, for datatype property #bar we interpret
>   <rdf:Description about="#foo">
>     <bar>abc</bar>
>   </rdf:Description>
> 
> as
>   <#foo> <#bar> (<#bar> "abc")

As Brian pointed out some time ago, this does not 
work with generic membership properties. E.g.

   <foo:BagOfStrings>
      <rdf:li>10</rdf:li> <!-- meant to be a string -->
   </foo:BagOfStrings>

   <bar:BagOfIntegers>
      <rdf:li>10</rdf:li> <!-- meant to be an integer -->
   </bar:BagOfIntegers>

both give us

   _:x rdf:li (rdf:li "10") 


Patrick

Received on Friday, 27 September 2002 09:05:34 UTC