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

Datatyping literals: question and test cases

From: Graham Klyne <GK@NineByNine.org>
Date: Tue, 29 Oct 2002 14:46:49 +0000
Message-Id: <5.1.0.14.2.20021029143821.03e53ec0@127.0.0.1>
To: RDF core WG <w3c-rdfcore-wg@w3.org>

This arose when trying to adjust CC/PP to take account of the datatyping 
decision.

For starters, under the current datatyping decisions, I understand that:

   _:x ex:prop "10" .
   ex:prop rdfs:range xsd:integer .

is not satisfiable under under any interpretation that conforms to the 
xsd:integer datatype constraints.

I also understand that, following DanC's requests,

   _:x ex:prop "foo" .
   ex:prop rdfs:range xsd:string .

will be satisfiable in conformance with xsd:string datatypeconstraints.

But, what about this:

   _:x ex:prop "http://example.org/" .
   ex:prop rdfs:range xsd:anyURI .

?

#g
--

PS:  in my subject line, I say "test cases", which these are strictly 
not.  How does one express a satisfiability question as a test case?  I 
suppose that is something is not satisfiable then it entails anything you 
care to choose:

    ex:a ex:notSatisfiable ex:b .

entails

    ex:anySubjectYouLike ex:anyPropertyYouLike ex:anyObjectYouLike .

?


-------------------
Graham Klyne
<GK@NineByNine.org>
Received on Tuesday, 29 October 2002 09:55:06 EST

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