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 10:15:07 +0000
Message-Id: <5.1.0.14.2.20021212094002.0483aec0@127.0.0.1>
To: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
Cc: Jan Grant <Jan.Grant@bristol.ac.uk>, RDFCore Working Group <w3c-rdfcore-wg@w3.org> 

At 08:10 PM 12/11/02 +0100, Jos De_Roo wrote:
>[[[
>### inconsistency/incompleteness detections @@
>
>{ :xsdI1 . ?p rdfs:range xsd:string . ?s ?p ?x^^xsd:decimal } log:implies
>{ _:x a test:False-Document } .
>]]]
>
>and then indeed we can derive from above that
>
>_:y a test:False-Document .

I'm sorry but I'm really struggling with this... as far as I can tell, all 
the above says is that the antecedent implies there exists a false 
document, which seems pretty strange to me.

#g


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

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