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

Re: iff

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Thu, 17 Apr 2003 07:41:30 +0300
To: w3c-rdfcore-wg@w3.org
Message-Id: <200304170741.30076.jjc@hpl.hp.com>

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

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