- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Wed, 20 Feb 2002 14:44:58 -0600
- 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 UTC