W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2003

Re: intersectionOf and subClassOf

From: Enrico Franconi <franconi@inf.unibz.it>
Date: Sun, 30 Mar 2003 17:51:09 +0200
To: Geoff Chappell <geoff@sover.net>, <www-rdf-logic@w3.org>
Message-ID: <BAACDF0D.C5D8%franconi@inf.unibz.it>

On 30/03/2003 16:10, Geoff Chappell wrote:
> If A is a subClassOf B and C, should an owl (full) reasoner infer that A
> is a subClassOf the class that is the intersection of B and C?

Yes.

> Should it infer that A is a subClassOf the class that is the subClassOf B and
> C?

No. A is just one of the possible subclasses of both B and C. In fact, you
may have D as a subClassOf B and C, and D being not necessarily equal to A.
So, THE class that is the subClassOf B and C does not exists, since it is
not unique.

> etc? 

?

cheers
-- e.

Enrico Franconi                  - franconi@inf.unibz.it
Free University of Bozen-Bolzano - http://www.inf.unibz.it/~franconi/
Faculty of Computer Science      - Phone: (+39) 0471-315-642
I-39100 Bozen-Bolzano BZ, Italy  - Fax:   (+39) 0471-315-649
Received on Sunday, 30 March 2003 10:51:23 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:43 GMT