W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > February 2002

Re: simplified datatyping proposal

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>
Message-ID: <OFEB175227.EC35F829-ONC1256B66.007F1BE6@agfa.be>

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

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:45:18 EDT