Re: Equivalent Classes in OWL

• From: Bijan Parsia <bparsia@isr.umd.edu>
• Date: Thu, 27 Jul 2006 14:12:32 +0100
• To: "Luke Steller" <Luke.Steller@infotech.monash.edu.au>
• Cc: public-owl-dev@w3.org
• Message-Id: <419A1D6F-0279-4D2A-B404-F2364F7000F3@isr.umd.edu>

On Jul 27, 2006, at 1:47 PM, Luke Steller wrote:

>
> Hello,
>
> Given the following ontology - when i ask a reasoner (pellet) for
> equivalent classes of #GraphicSupport, it gives me:
>
> #GraphicSupport, #TradingStatus, #Thing
>
> Why is this so?


Looking at it a bit more (silly me :)), you make TradingStatus  
*equivalent to* Open or Close, and Close is *equivalent to* the  
negation of Open.

Thus, TradingStatus is equal to P or ~ P, i.e., to Thing. (I suspect  
you want open and close to be *disjoint*)

And you do the same thing, basically, with Colour and BlackAndWhite.

Cheers,
Bijan.

Received on Thursday, 27 July 2006 13:12:09 UTC