Re: datatypes and MT

> > The real advantage I see is that
> >   :s eg:shoeSize [ rdfs:str "10" ].
> > can be entailed given that
> >   :s eg:shoeSize [ rdfs:str "10"; rdf:type dt:decimal ].
> > (and only in that direction)
>
>
> I'm sorry, I'm being thick again.  What's the advantage exactly?  To whom?
Does
> this advantage differentiate DanC's proposal from the others?
>
> What I see above is the A & B => A.  Which is true, but I miss the
significance.

  [ rdfs:str "10" ]
is what we call the 'least common unifier' of
  [ rdfs:str "10" ] and [ rdfs:str "10"; rdf:type dt:decimal ]
and we found that a useful thing for inferencing
that's basically all we wanted to say
(so 'advantage' was rather subjective)

> Are you suggesting that
>
>    <rdf:Description>
>      <eg:prop>foo</eg:prop>
>    </rdf:Description>
>
> is really shorthand for
>
>    <rdf:Description>
>      <eg:prop rdfs:str="foo"/>
>    </rdf:Description>

yes

--
Jos

Received on Saturday, 3 November 2001 20:58:51 UTC