- From: pat hayes <phayes@ai.uwf.edu>
- Date: Wed, 30 Oct 2002 12:02:26 -0600
- To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
- Cc: w3c-rdfcore-wg@w3.org
>Brian: >> Jeremy, what did you intend? > >I try to pass the hot potato to Pat! > >(A more serious answer to Graham) > >> 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. > >No decision - the current drafts say NO. > >Concepts say a literal is a pair. >Ntriples says "foo" goes to "foo"-"" >Model theory says untyped literals are self-denoting. > >"foo"-"" is not an xsd:string. Oh, yuk. I would vastly prefer that the blank lang tag is not in the denotation. This seems to be shooting ourselves in the foot; with this system, it is *impossible* to write an xsd string as a literal. Pat > >> >> But, what about this: >> >> _:x ex:prop "http://example.org/" . >> ex:prop rdfs:range xsd:anyURI . > >Similarly, currently this is a NO. > >> >> #g >> -- >> >> PS: in my subject line, I say "test cases", which these are strictly >> not. > >They could be made so by the invention of a new test case. > >Jeremy -- --------------------------------------------------------------------- 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 13:03:01 UTC