Re: How we say Same literals

Hi, here is what I find in "RDF Literal Data Types in Practice":"""OWL follows similar equality rules, declaring “Two literals are structurally equivalentif and only if both the lexical form and the data type are structurallyequivalent; that is, literals denoting the same data value are structurallydifferent if either their lexical form or the data type is different.”"""[RDF Literal Data Types in Practice] 

     Le Samedi 27 décembre 2014 15h09, Bijan Parsia <bijan.parsia@manchester.ac.uk> a écrit :
   

 I'm also not sure what you want specifically. 

We know, by the predefined disjointness of the types that the values must be distinct and by the functionality that we must have only one successor. By the distinctness, we have two. Contradiction. 

If you are trying to illustrate how values carry identity conditions, I wouldn't use values from disjoint types, but merely different values from the same type eg 1 and 2. 

If you are trying to show that lexical form is datatype sensitive then yeah using same lexical form and disjoint datatype will do the trick. 

Cheers,
Bijan.