W3C home > Mailing lists > Public > www-rdf-comments@w3.org > July to September 2002

Re: RDF Issue rdfs-clarify-subClass-and-instance

From: Seth Russell <seth@robustai.net>
Date: Mon, 26 Aug 2002 11:20:45 -0700
Message-ID: <00ae01c24d2d$4ca14660$657ba8c0@c1457248a.sttls1.wa.home.com>
To: "graham wideman" <graham@wideman-one.com>, "pat hayes" <phayes@ai.uwf.edu>
Cc: "Frank Manola" <fmanola@mitre.org>, "Brian McBride" <bwm@hplb.hpl.hp.com>, <www-rdf-comments@w3.org>

From: "pat hayes" <phayes@ai.uwf.edu>

> A is a subclass of B just when every member of A is a member of B.
> That's all there is to it: there is no inheritance or 'transferring'
> between the classes. This isn't OOP.

Can't I write:

<B> my:haveQuality <E>.
<A> rdfs:subclassOf <B>.
<x> rdf:type <A>.

and mean that:

<x> my:haveQuality <E>.


Now I do understand that the RDF MT does not sanction that entailment.  But
does it prevent me from meaning that entailment when I write the triple {B
my:haveQuality D} ?   Here the 'my' is a prefix bound to *my own namespace*.

Seth Russell
Received on Monday, 26 August 2002 14:21:20 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:00 UTC