- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Thu, 21 Feb 2002 00:23:49 +0100
- To: "Pat Hayes <phayes" <phayes@ai.uwf.edu>
- Cc: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
>>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 .
Received on Wednesday, 20 February 2002 18:24:31 UTC