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

Re: intersectionOf and subClassOf

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Sun, 30 Mar 2003 12:52:35 -0500 (EST)
Message-Id: <20030330.125235.46626574.pfps@research.bell-labs.com>
To: geoff@sover.net
Cc: www-rdf-logic@w3.org

From: "Geoff Chappell" <geoff@sover.net>
Subject: intersectionOf and subClassOf
Date: Sun, 30 Mar 2003 09:10:09 -0500

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

If A is a subClassOf B and A is a subClassOf C then it easily follows that
in OWL A is a subClassOf *any* intersection of B and D  (there can be more
than one intersection in OWL).

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

In OWL there are many classes that are subclasses of both B and C, at least
one of these (an intersection of B and C) has A as a subclass.  However,
owl:Nothing is a subClassOf both B and C and might not have A as a
subclass.

> -geoff chappell

Most of these sorts of questions can be answered by an appeal to logical
thinking.  OWL is actually quite simple underneath.  

peter
Received on Sunday, 30 March 2003 12:52:43 GMT

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