Re: Datatyping Summary V4

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

Received on Monday, 4 February 2002 10:25:48 UTC