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

RE: Datatyping literals: question and test cases

From: pat hayes <phayes@ai.uwf.edu>
Date: Wed, 30 Oct 2002 12:02:26 -0600
Message-Id: <p05111b25b9e5ce940f1c@[65.217.30.130]>
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 EST

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