W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > April 2003

Re: domains of container membership properties

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Sun, 27 Apr 2003 02:39:16 +0200
To: "Dan Brickley <danbri" <danbri@w3.org>
Cc: pat hayes <phayes@ai.uwf.edu>, w3c-rdfcore-wg@w3.org, w3c-rdfcore-wg-request@w3.org
Message-ID: <OF3BF01766.F5B8CD8A-ONC1256D15.0002C9F9-C1256D15.00039AB2@agfa.be>


[...]

>> :aaa rdf:_987 :bbb.
>>
>> means that
>>
>> :aaa rdf:type rdfs:Container. <-------
>                                        |
>no it doesn't, since we don't have      |
>                                        |
> rdf:_987 rdfs:domain rdfs:Container .  |
                                         |
Well, I can prove -----------------------
just using the MT's rdfs2 and rdfs6
(there was a testcase in
http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2003Apr/0320.html)

Another question is wether
rdf:_987 rdfs:domain rdfs:Container.
and we could think about
{?P rdfs:domain ?A. ?Q rdfs:subPropertyOf ?P} => {?Q rdfs:domain ?A}.
{?P rdfs:range ?A. ?Q rdfs:subPropertyOf ?P} => {?Q rdfs:range ?A}.

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Saturday, 26 April 2003 20:39:33 EDT

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