Re: simplified datatyping proposal

>>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

thanks Pat
that seems to work i.e.

( <http://www.agfa.com/w3c/n3/p7.nt>
  <http://www.agfa.com/w3c/n3/p7s.nt>
  <http://www.w3.org/2000/01/rdf-schema#> )
  log:entails <http://www.agfa.com/w3c/n3/p8.nt> .

where <http://www.w3.org/2000/01/rdf-schema#>
is hinting us to http://www.agfa.com/w3c/euler/rdfs-rules.n3
and the result is at http://www.agfa.com/w3c/n3/p9.n3
and this case is not working without
{ ?d a rdfs:Datatype . ?o ?d ?l } log:implies { ?o rdfs:dlex ?l } .

--
Jos

ps for S-B I can't find anything but
   dc:date rdfs:range _:1 . _:1 rdfs:rangeOf xsd:date .