Datatyping literals: question and test cases

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 UTC