Re: type/dtype/subclassing and range/subproperties

[...]

> We may in fact need something like rdfs:drange ("deranged"? ;-)
> if rdfs:range only implies rdf:type and not rdf:dtype,

we have that per
{ ?d a rdf:DataType . ?p rdfs:range ?d . ?s ?p ?o } log:implies { ?o rdf:dType ?d } .

--
Jos

Received on Friday, 8 February 2002 05:00:27 UTC