- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Sun, 4 Nov 2001 02:56:51 +0100
- To: bwm@hplb.hpl.hp.com
- Cc: connolly@w3.org, phayes@ai.uwf.edu, w3c-rdfcore-wg@w3.org, pfps@research.bell-labs.com
> > 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