Re: intersectionOf and subClassOf

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 UTC