[protege-discussion] Using multiple necessary and sufficient blocks

[Alan March]

Hi Leonardo, and thanks for your advice.

I think I understand the use of a single necessary and sufficient blocks but
fail to grasp the conditions under which *multiple* necessary and sufficient
blocks are required.

My hunch is that one case would be when a class may be fully defined by two
different combinations of properties. For example: suppose InterestingPizza
could by fully defined as in pizza.owl, but I decide that it could also be
defined as a "a pizza which is sold at least 30 times per day". Should I
place these conditions (say: Pizza as parent class and hasSalesPerWeek min
30) in a separate N&S block to do the trick? Or am I entirely failing to
understand the concept?

Many thanks. As a sideline, congratulations to the developers of Protégé.
It's undoubtedly the best ontology management tool available, much better
and powerful than commercial software out there.

> -----Original Message-----
> From: protege-discussion-bounces at lists.stanford.edu 
> [mailto:protege-discussion-bounces at lists.stanford.edu] On 
> Behalf Of Leonardo Jacques da Silva
> Sent: Monday, October 16, 2006 10:13 AM
> To: User support for Core Protege and the Protege-Frames editor
> Subject: Re: [protege-discussion] Using multiple necessary 
> and sufficient blocks
> 
> Hi Alan,
> 
> You use necessary and sufficient conditions to define that 
> any class that satisfy the conditions present in this block 
> belong to this class where the block was defined.
> In the case of necessary block any class can satisfy the 
> conditions present in this block, but not necessarily belong 
> to the class.
> 
> Example: Pizza Ontology
> 
> The class CheesyPizza has a necessary and sufficient 
> condition that specify that any class that "hasTopping some 
> CheeseTopping" ought to be considered a cheesy pizza.
> 
> The class CheesyPizza has a necessary condition inherited 
> from the class Pizza that specify that any class  that 
> "hasBase some PizzaBase" can be or not a cheesy pizza.
> 
> I'm not sure if my explanation is clear to you.
> 
> 
> On 10/15/06, Alan March <amarch at conceptum.com.ar> wrote:
> >
> > Hi all.
> >
> > Could someone please explain the reasons for using multiple 
> necessary 
> > and sufficient blocks? And probably provide an example?
> >
> > Many thanks!
> >
> > Alan
> >
> > _______________________________________________
> > protege-discussion mailing list
> > protege-discussion at lists.stanford.edu
> > https://mailman.stanford.edu/mailman/listinfo/protege-discussion
> >
> > Instructions for unsubscribing:
> > http://protege.stanford.edu/doc/faq.html#01a.03
> >
> 
> 
> 
> --
> Leonardo Jacques
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
> 
> Instructions for unsubscribing: 
> http://protege.stanford.edu/doc/faq.html#01a.03