- 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>
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