Re: simplified datatyping proposal

> 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