Search Mailing List Archives
[protege-owl] Pizza Lab - Margherita restriction problem
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 :)
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
> is no limit given to the number of such relationships)
> * But for each topping relationship, the topping can ONLY be one of
> "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 ;-)
> Cesbron, Brice wrote:
>> 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
>> So, if someone can explain me this point...
>> Thanks in advance,
>> Brice CESBRON.
>> This message contains information that may be privileged or
>> 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
>> you are not authorized to read, print, retain, copy, disseminate,
>> distribute, or use this message or any part thereof. If you
>> receive this
>> 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
>> Instructions for unsubscribing: http://protege.stanford.edu/doc/
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> Instructions for unsubscribing: http://protege.stanford.edu/doc/
More information about the protege-owl