- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Thu, 17 Apr 2003 07:41:30 +0300
- To: w3c-rdfcore-wg@w3.org
> {{?X rdf:type ?A} => {?X rdf:type ?B}} => {?A rdfs:subClassOf ?B}.
Not sure if this is relevant but, ...
in OWL full
<a> rdf:type owl:Restriction .
<a> owl:onProperty rdf:type .
<a> owl:hasValue <b> .
entails
<a> rdfs:subClassOf <b> .
by this rule.
(in fact the OWL Full expression could be seen as a definition of subClassOf)
Jeremy
Received on Thursday, 17 April 2003 01:41:14 UTC