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

Re: A very short list of residual datatyping issues (just one ;-)

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Tue, 12 Mar 2002 20:50:21 +0100
To: "Brian McBride <bwm" <bwm@hplb.hpl.hp.com>
Cc: "Patrick Stickler <patrick.stickler" <patrick.stickler@nokia.com>, "RDF Core <w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
Message-ID: <OFC7D49EA1.B1DBC040-ON41256B7A.0068EB48@agfa.be>

[...]

> >b) The present proposal does not provide any means of using
> >    rdfs:range to constrain the values of datatyped properties
> >    without resulting in the inability to use both global or
> >    local idioms freely and without conflict.
>
> Thats issue 2, but I don't know what it means.  Test case please.

I suppose Patrick wants something like

  eg:age rdfs:range xsd:number .
  eg:Jenny eg:age "35" .
  eg:Jenny eg:age _:1 .
  _:1 xsd:number "35" .

to entail
  ...

the trouble that I see is the following
suppose we also know that

  eg:age rdf:type owl:UniqueProperty .

hence we can entail

  eg:Jenny eg:age "35" .
  eg:Jenny eg:age _:1 .
  _:1 xsd:number "35" .
  _:1 owl:sameIndividualAs "35"

but we also know that the domain and range
of xsd:number are disjoint hence we can entail

  eg:Jenny eg:age "35" .
  eg:Jenny eg:age _:1 .
  _:1 xsd:number "35" .
  _:1 owl:sameIndividualAs "35"
  _:1 owl:differentIndividualFrom "35"

which tells us that we have an inconsistent
given and it doesn't make sense to entail
stuff from that!!!

--
Jos De Roo

ps
  eg:age rdfs:drange xsd:number .
  eg:Jenny eg:age "35" .
  eg:Jenny eg:age2 _:1 .
  _:1 xsd:number "35" .

or
  eg:age rdfs:range xsdr:number .
  eg:Jenny eg:age "35" .
  eg:Jenny eg:age2 _:1 .
  _:1 xsd:number "35" .

could work, so drange or xsdr
and age and age2
Received on Tuesday, 12 March 2002 15:41:33 EST

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