Re: Cannes entailment, a question:

On Tue, 25 Jun 2002, pat hayes wrote:

>
> >in two parts.
> >
> >One, for symmettry, where a literal "really is" a string,
>
> Well, that question is now moot, since a literal is *never* a string.
> A literal is a 3-tuple. Thus:
>
> >do we have an
> >analagous situation to the Cannes entailment?
> >
> >	eg:book dc:title "the big book of RDF" .
> >
> >entails...
> >
> >	eg:book dc:title _:a .
> >	_:a xsd:string "the big book of RDF" .
>
> No, that cannot possibly be valid. The thing inside those quotes is
> either not a string or not a literal. Im not yet quite sure which is
> correct: maybe its neither of them.

Hang on, you've spotted the get-out (that the thing in quotes is a
Literal, but not an xsd:string), but given that I fail to see why the
above entailment should not hold. Unless the datatyping proposal gives a
uniform treatment to _all_ xsd datatypes, I can't see how we can vote in
favour of it. If we have to accept non-regularity in datatyping then
there are far simpler approaches that support the xsd types "natively"
and other types using a daml-like construct that seem much more natural.

jan



-- 
jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/
Tel +44(0)117 9287088 Fax +44 (0)117 9287112 RFC822 jan.grant@bris.ac.uk
Rereleasing dolphins into the wild since 1998.

Received on Tuesday, 25 June 2002 06:12:30 UTC