Cannes entailment, a question:

in two parts.

One, for symmettry, where a literal "really is" a string, 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" .

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.

Received on Thursday, 20 June 2002 05:16:25 UTC