>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/~phayesReceived 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