Re: Cannes entailment, a question:

>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.

Pat


>By regularity, I'd assume this is suposed to hold. So then
>
>	jenny age "10" .
>
>entails
>
>	jenny age _:a .
>	_:a xsd:int _:b .
>	_:b xsd:sting "10" .
>
>and so on?
>
>jan
>
>PS. This would be the "cannes-cannes entailment".
>
>
>--
>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
>Theory and practice _are_ the same thing. In theory.


-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes

Received on Tuesday, 25 June 2002 02:29:25 UTC