- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Wed, 20 Feb 2002 10:36:23 +0100
- To: "Pat Hayes <phayes" <phayes@ai.uwf.edu>
- Cc: "w3c-rdfcore-wg" <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 . rdfs:dlex a rdf:Property . rdfs:dlex rdfs:domain rdfs:Resource . rdfs:dlex rdfs:range rdfs:Literal . rdfs:dlex rdfs:subPropertyOf rdf:value . rdfs:dtype a rdf:Property . rdfs:dtype rdfs:domain rdfs:Resource . rdfs:dtype rdfs:range rdfs:Datatype . rdfs:dtype rdfs:subPropertyOf rdf:type . rdfs:drange a rdf:Property . rdfs:drange rdfs:domain rdfs:Property . rdfs:drange rdfs:range rdfs:Datatype . rdfs:drange rdfs:subPropertyOf rdfs:range . { ?d a rdfs:Datatype } log:implies { ?d rdfs:domain ?d } . { ?d a rdfs:Datatype . ?o ?d ?l } log:implies { ?o rdfs:dlex ?l } . { ?d a rdfs:Datatype . ?p rdfs:drange ?d . ?s ?p ?o } log:implies { ?o rdfs:dtype ?d } . { ?d a rdfs:Datatype . ?p rdfs:drange ?d . ?o rdfs:dlex ?l . ?s ?p ?o } log:implies { ?o ?d ?l } . could be simplified ??? -- Jos
Received on Wednesday, 20 February 2002 05:39:12 UTC