- From: Graham Klyne <GK@NineByNine.org>
- Date: Thu, 12 Dec 2002 10:15:07 +0000
- 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 UTC