intersectionOf and subClassOf

From: Geoff Chappell <geoff@sover.net>
Date: Sun, 30 Mar 2003 09:10:09 -0500
To: <www-rdf-logic@w3.org>
Message-ID: <002101c2f6c6$1612e610$835ec6d1@GSCLAPTOP>

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? Should it
infer that A is a subClassOf the class that is the subClassOf B and C?
etc? 

-geoff chappell

Received on Sunday, 30 March 2003 09:14:02 UTC