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

Re: iff

From: pat hayes <phayes@ai.uwf.edu>
Date: Fri, 18 Apr 2003 11:09:39 -0500
Message-Id: <p05111b0bbac5d3ad60e3@[10.0.100.12]>
To: Jeremy Carroll <jjc@hpl.hp.com>
Cc: 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)

Right, nicely put.

Pat

-- 
---------------------------------------------------------------------
IHMC					(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Friday, 18 April 2003 12:09:51 EDT

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