Re: datatype property in the statement object pair

> > there's actually a simple way to make desirable non entailments
> >
> > if, for datatype property #bar we interpret
> >   <rdf:Description about="#foo">
> >     <bar>abc</bar>
> >   </rdf:Description>
> >
> > as
> >   <#foo> <#bar> (<#bar> "abc")
>
> As Brian pointed out some time ago, this does not
> work with generic membership properties. E.g.
>
>    <foo:BagOfStrings>
>       <rdf:li>10</rdf:li> <!-- meant to be a string -->
>    </foo:BagOfStrings>
>
>    <bar:BagOfIntegers>
>       <rdf:li>10</rdf:li> <!-- meant to be an integer -->
>    </bar:BagOfIntegers>
>
> both give us
>
>    _:x rdf:li (rdf:li "10")

are we really prepared to go that far in
saying that rdf:li rdf:type rdfs:Datatype ?
I would say no, that's not the case

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Friday, 27 September 2002 09:15:37 UTC