Re: iff

> {{?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