- From: Ivan Herman <ivan@w3.org>
- Date: Sun, 24 Apr 2011 09:52:57 +0200
- To: Ivan Herman <ivan@w3.org>
- Cc: nathan@webr3.org, RDFA Working Group <public-rdfa-wg@w3.org>
On Apr 24, 2011, at 09:46 , Ivan Herman wrote: <snip/> > > In other words, the two literals "0000123"^^xsd:int and "123"^^xsd:int are, formally, two different nodes in RDF. I am not even sure whether the RDF Datatype entailment would generate equality for these two, simply because there is no notion of derived equality there. In the case of OWL, and even the minimal RDFS+OWL stuff, ie, OWL RL, the situation is different: if one looks at Table 8 in[2], it says: > > [[[ > dt-diff T(lt1, owl:differentFrom, lt2) for all literals lt1 and lt2 with different data values > ]]] > Doh. The one I wanted to quote is: [[[ dt-eq T(lt1, owl:sameAs, lt2) for all literals lt1 and lt2 with the same data value ]]] although the other one is also relevant. Ivan ---- Ivan Herman, W3C Semantic Web Activity Lead Home: http://www.w3.org/People/Ivan/ mobile: +31-641044153 PGP Key: http://www.ivan-herman.net/pgpkey.html FOAF: http://www.ivan-herman.net/foaf.rdf
Received on Sunday, 24 April 2011 07:52:02 UTC