- From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
- Date: Mon, 04 Feb 2002 20:33:29 +0000
- To: Brian McBride <bwm@hplb.hpl.hp.com>
- Cc: Patrick Stickler <patrick.stickler@nokia.com>, RDF Core <w3c-rdfcore-wg@w3.org>
Brian,
For some appropriate definition of d:double-de and d:double, I think the
entailment you describe does follow; e.g.
IEXT(I(d:double)) contains <10.5,"10.5">, and no other pair of the form
<x,"10.5">
and
IEXT(I(d:double-de)) contains <10.5,"10,5">, and no other pair of the form
<x,"10.5">
then the *only* value (denotation) for the bnodes that can satisfy:
_:s1 <xsd:double-de> "10,5" .
OR
_:s2 <xsd:double> "10.5" .
is 10.5. So the bnodes here must both denote the same value, i.e. 10.5.
BUT, this depends on a very specific understanding of d:double and
d:double-de, but I think we have to accept this kind of specific (i.e.
commonly understood out-of-band specification) is in the nature of datatypes.
#g
--
At 03:24 PM 2/4/02 +0000, Brian McBride wrote:
>At 16:10 04/02/2002 +0200, Patrick Stickler wrote:
>
>[...]
>
>> > does not entail:
>> >
>> > <foo> <eg:size> _:s .
>> > <bar> <eg:size> _:s .
>>
>>Firstly, I presume you meant
>>
>> <foo> <eg:size> _:s2 .
>> <bar> <eg:size> _:s1 .
>
>Nope.
>
>[...]
>
>>But even with the S-A idiom, if we have
>>
>> <foo> <eg:size> _:s1 .
>> _:s1 <xsd:double-de> "10,5" .
>>
>> <bar> <eg:size> _:s2 .
>> _:s2 <xsd:double> "10.5" .
>>
>>this also does not entail
>>
>> <foo> <eg:size> _:s2 .
>> <bar> <eg:size> _:s1 .
>
>
>It is my understanding that it does, and also:
>
>> <foo> <eg:size> _:s .
>> <bar> <eg:size> _:s .
>
>Opinions please.
>
>Brian
------------------------------------------------------------
Graham Klyne MIMEsweeper Group
Strategic Research <http://www.mimesweeper.com>
<Graham.Klyne@MIMEsweeper.com>
Received on Monday, 4 February 2002 16:39:29 UTC