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