## Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through

# [protege-owl] Pizza Lab - Margherita restriction problem

Matthew Horridge matthew.horridge at cs.man.ac.uk
Thu Apr 26 03:02:33 PDT 2007

```If it was AND then this would mean that a topping had to be both
Mozzarella AND Tomato.  This would be unsatisfiable since Mozzarella
and Tomato are disjoint.  Try chaning the OR to an AND and run the
reasoner and see what happens :)

Cheers,

Matthew

On 26 Apr 2007, at 10:49, Tom Gitzinger wrote:

> Hello Brice,
>
> I think the restriction is correctly read as:
> * A Margherita pizza can take part in "hasTopping" relationships
> (there
> is no limit given to the number of such relationships)
> * But for each topping relationship, the topping can ONLY be one of
> type
> "MozzarellaTopping" OR of type "TomatoTopping"
>
> Hence the "or". I'm not 100% sure, but I think if there was an
> "and", it
> would rather mean that the topping must be a member both of the
> "MozzarellaTopping" and the "TomatoTopping" class.
> Note that as there is no number restriction, there can be 5 million
> toppings to go on the pizza, but they must all be of type
> "MozzarellaTopping" or of type "TomatoTopping".
>
> I'm pretty much an OWL novice, so you might want to get a second
> opinion ;-)
>
> Cheers
> Tom
>
>
> Cesbron, Brice wrote:
>> Hello,
>>
>> I'm learning How To use Protege with the Pizza tutorial.
>> That's clear but I don't understand a point :
>>  - Why Margherita pizza is defined by the restriction :
>>
>>         hasTopping only (MozzarellaTopping *or *TomatoTopping)
>>
>> In reality, a Margherita pizza is composed by Mozzarella *AND* Tomato
>> toppings.
>> So, if someone can explain me this point...
>>
>> Brice CESBRON.
>> This message contains information that may be privileged or
>> confidential
>> and is the property of the Capgemini Group. It is intended only
>> for the
>> person to whom it is addressed. If you are not the intended
>> recipient,
>> you are not authorized to read, print, retain, copy, disseminate,
>> distribute, or use this message or any part thereof. If you
>> message in error, please notify the sender immediately and delete all
>> copies of this message.
>>
>>
>> ---------------------------------------------------------------------
>> ---
>>
>> _______________________________________________
>> protege-owl mailing list
>> protege-owl at lists.stanford.edu
>> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>>
>> Instructions for unsubscribing: http://protege.stanford.edu/doc/
>> faq.html#01a.03
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/
> faq.html#01a.03

```