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

Re: datatype property in the statement object pair

From: Patrick Stickler <patrick.stickler@nokia.com>
Date: Fri, 27 Sep 2002 16:01:35 +0300
Message-ID: <001101c26626$0262b950$e180720a@NOE.Nokia.com>
To: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>, "ext Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>



[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 EDT

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