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

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 GMT

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