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

Re: simplified datatyping proposal

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Wed, 20 Feb 2002 14:44:58 -0600
Message-Id: <p05101435b899ba7638ba@[65.212.118.219]>
To: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
Cc: w3c-rdfcore-wg@w3.org
>  > 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 guess that is http://www.coginst.uwf.edu/users/phayes/simpledatatype.html
>which is indeed simplified
>
>we actually wonder if
>
>rdfs:Datatype a rdfs:Class .

May not need rdfs:Datatype; that issue is open, I think.

>rdfs:dlex a rdf:Property .
>rdfs:dlex rdfs:domain rdfs:Resource .
>rdfs:dlex rdfs:range rdfs:Literal .

Yes

>rdfs:dlex rdfs:subPropertyOf rdf:value .

No

>
>rdfs:dtype a rdf:Property .
>rdfs:dtype rdfs:domain rdfs:Resource .
>rdfs:dtype rdfs:range rdfs:Datatype .
>rdfs:dtype rdfs:subPropertyOf rdf:type .

No. Can probably get by without using dtype at all.

>rdfs:drange a rdf:Property .
>rdfs:drange rdfs:domain rdfs:Property .
>rdfs:drange rdfs:range rdfs:Datatype .
>rdfs:drange rdfs:subPropertyOf rdfs:range .

Yes

>
>{ ?d a rdfs:Datatype } log:implies { ?d rdfs:domain ?d } .

Yes

>{ ?d a rdfs:Datatype . ?o ?d ?l } log:implies { ?o rdfs:dlex ?l } .

Hmmm. Not sure.

>{ ?d a rdfs:Datatype . ?p rdfs:drange ?d . ?s ?p ?o } log:implies { 
>?o rdfs:dtype ?d } .

No

>{ ?d a rdfs:Datatype . ?p rdfs:drange ?d . ?o rdfs:dlex ?l . ?s ?p 
>?o } log:implies { ?o ?d ?l } .

Yes

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
Received on Wednesday, 20 February 2002 15:44:57 EST

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