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

Re: Test cases, quick update.

From: Graham Klyne <GK@NineByNine.org>
Date: Thu, 12 Dec 2002 09:33:04 +0000
Message-Id: <5.1.0.14.2.20021212092633.0483b870@127.0.0.1>
To: Jan Grant <Jan.Grant@bristol.ac.uk>
Cc: RDFCore Working Group <w3c-rdfcore-wg@w3.org>

At 05:20 PM 12/11/02 +0000, Jan Grant wrote:
>I would like to add the following construct as a premise or conclusion
>"document":
>
>[[
><test:conclusionDocument>
>   <test:False-Document />
></test:conclusionDocument>
>]]
>
>That is, a document that always "comes out false" under any
>interpretation. It's not constructible using "plain" RDF so I'd
>rather just add support in this format. Jos, can you add support for
>this?

That looks reasonable to me.

>That being OK, I'm going to add the following test case:
>
>[[
><ex:a> <ex:b> "25"^^xsd:decimal .
><ex:b> rdfs:range xsd:string .
>]]
>
>ENTAILS
>
>{ a test:False-Document }

Er, I assume the notational muddle here will resolve in the updated 
manifest format ?-)

(It took me a while to make anything of that.  Assuming N3, wouldn't the 
conclusion be:

    { } a test:False-Document .

to be more in line with the manifest?)

#g


-------------------
Graham Klyne
<GK@NineByNine.org>
Received on Thursday, 12 December 2002 05:09:36 EST

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