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

Re: rdfs:Datatype question

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Mon, 4 Nov 2002 01:16:10 +0100
To: "pat hayes <phayes" <phayes@ai.uwf.edu>
Cc: w3c-rdfcore-wg@w3.org, w3c-rdfcore-wg-request@w3.org
Message-ID: <OFF9D9F4BD.17F7E739-ONC1256C67.0000881F-C1256C67.0001819C@agfa.be>


[...]

> Unless Im missing something, therefore, I propose that we drop
rdfs:Datatype.
>
> PROPOSE: do not introduce rdfs:Datatype into the rdfs namespace.

it is critical in the following entailment rules

{ :rule10a . ?d a rdfs:Datatype } log:implies { ?d rdfs:domain ?d } .
{ :rule10b . ?d a rdfs:Datatype } log:implies { ?x^^?d ?d ?x } .

and I wouldn't like to miss it, as we then have that

xsd:decimal a rdfs:Datatype .
xsd:integer a rdfs:Datatype; rdfs:subPropertyOf xsd:decimal .
:jenny :age "10"^^xsd:integer .

entails (*)

:jenny :age _:x .
_:x xsd:decimal "10" .
_:x rdf:type xsd:decimal .

otherwise datatyping seems meaningless to me

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

(*)
@prefix str: <http://www.w3.org/2000/10/swap/string#> .
@prefix ns: <http://www.agfa.com/w3c/euler/owl-rules#> .
@prefix foo: <file:/temp/test#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix : <file:/temp/test#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix math: <http://www.w3.org/2000/10/swap/math#> .
@prefix nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

:jenny :age "10"^^xsd:integer.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule10b> } log:implies
  {"10"^^xsd:integer xsd:integer "10"}} log:implies
{"10"^^xsd:integer xsd:decimal "10"}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule10a> .
    xsd:decimal a rdfs:Datatype} log:implies
  {xsd:decimal rdfs:domain xsd:decimal}.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule10b> } log:implies
    {"10"^^xsd:integer xsd:integer "10"}} log:implies
  {"10"^^xsd:integer xsd:decimal "10"}} log:implies
{"10"^^xsd:integer rdf:type xsd:decimal}.
Received on Sunday, 3 November 2002 19:16:56 EST

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