- 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>
[...] > >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 UTC