W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > June 2002

Re: Cannes entailment, a question:

From: pat hayes <phayes@ai.uwf.edu>
Date: Tue, 25 Jun 2002 01:29:22 -0500
Message-Id: <p05111b02b93dbd9a6b38@[65.217.30.113]>
To: Jan Grant <Jan.Grant@bristol.ac.uk>
Cc: w3c-rdfcore-wg@w3.org

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

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:49:22 EDT