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

Re: simplified datatyping proposal

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Wed, 20 Feb 2002 09:13:33 +0000
Message-Id: <5.1.0.14.2.20020220084727.00a01da0@joy.songbird.com>
To: Pat Hayes <phayes@ai.uwf.edu>
Cc: w3c-rdfcore-wg@w3.org
Oh dear, it's looking as if I seriously dropped the ball on this...

With my CC/PP hat on I don't see the following "long-range" usage is supported:

    _:SomeClientComponent client-property:dpi "100" .

     :

    client-property:dpi rdfs:range datatype:number .

i.e. does not define support for idiom B in the datatyping desiderata document:

    http://lists.w3.org/Archives/Public/www-archive/2002Jan/att-0133/00-gk.htm

What also now seriously bothers me is that I can't see how the full 
proposal [1] supports this either.  I had earlier convinced myself that 
this was all OK, but now I can't see it.   Aaargh!

I was thinking that there was a way to say that

    client-property:dpi rdfs:range datatype:number .

expressed the property range as the lexical space of some datatype.

#g
--

[1] http://www.coginst.uwf.edu/users/phayes/DatatypeSummary3.html


At 10:11 PM 2/19/02 -0600, Pat Hayes wrote:
>Guys, Ive put up a quick draft of a simplified version of the datatyping 
>proposal at
>
>  http://www.coginst.uwf.edu/users/phayes/simpledatatype
>
>I think this version is simple enough for the DPH. It uses the datatyping 
>triple idiom:
>
>Jenny ex:age _:x
>_:x xsd:number "15"
>
>as primary, and treats rdfs:dlex as a kind of 'empty case' for when you 
>don't know the datatype, and then links rdfs:drange directly to that, so 
>you don't need to use rdf:dtype or the doublet form at all unless you want 
>to. This keeps everything simpler and also much more robust against clashes.
>
>BTW, notice I have NOT said that all datatype properties are subproperties 
>of rdfs:dlex. There isn't any need to, and that would introduce a lot more 
>potential clashes if we did. Also this way of doing  it means that 'local' 
>dtypes always take priority over 'range' dtypes, which seems right.
>
>Anyway, for your amusement.
>
>Pat
>
>--
>---------------------------------------------------------------------
>IHMC                                    (850)434 8903   home
>40 South Alcaniz St.                    (850)202 4416   office
>Pensacola,  FL 32501                    (850)202 4440   fax
>phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes

------------------------------------------------------------
Graham Klyne                    MIMEsweeper Group
Strategic Research              <http://www.mimesweeper.com>
<Graham.Klyne@MIMEsweeper.com>
Received on Wednesday, 20 February 2002 04:12:06 EST

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