- From: pat hayes <phayes@ai.uwf.edu>
- Date: Fri, 18 Apr 2003 11:09:39 -0500
- 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 UTC