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