- From: pat hayes <phayes@ai.uwf.edu>
- Date: Wed, 30 Oct 2002 11:57:44 -0600
- To: Graham Klyne <GK@NineByNine.org>
- Cc: 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 . That depends on how xsd:anyURI defines its value space. If its the set of strings conforming to the URI syntax, then OK. If its some other space of 'abstract' URIs, then maybe not. No doubt the question could be asked in the form ?? xsd:anyURI rdfs:subClassOf xsd:string . ?? Pat >? > >#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> -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32501 (850)291 0667 cell phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes s.pam@ai.uwf.edu for spam
Received on Wednesday, 30 October 2002 12:58:19 UTC