W3C home > Mailing lists > Public > public-rdfa-wg@w3.org > April 2011

Re: RDF API updates

From: Ivan Herman <ivan@w3.org>
Date: Sun, 24 Apr 2011 09:52:57 +0200
Cc: nathan@webr3.org, RDFA Working Group <public-rdfa-wg@w3.org>
Message-Id: <ED59D76B-B279-407B-B3E4-66EEB8D4C5F5@w3.org>
To: Ivan Herman <ivan@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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:19:51 UTC