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

Cannes entailment, a question:

From: Jan Grant <Jan.Grant@bristol.ac.uk>
Date: Thu, 20 Jun 2002 10:14:05 +0100 (BST)
To: RDFCore Working Group <w3c-rdfcore-wg@w3.org>
Message-ID: <Pine.GSO.4.44.0206201010420.14424-100000@mail.ilrt.bris.ac.uk>

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 EDT

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