Protege中的合格基数限制定义

Question

I was following this tutorial -> LINK

At page 75, it explains how to define a FourCheesePizza using a qualified cardinality restriction. Under the instructions it says "With this description a FourCheesePizza can still also have other relationships to other kinds of toppings. In order for us to say that we just want it to have four cheese toppings and no other toppings we must add the keyword 'only' (the universal quantifier)".

Now, my definition of FourCheesePizza is:

Pizza and hasTopping exactly 4 CheeseTopping

but I don't understand where to add the 'only' keyword, because I only get syntax errors.

Answer 1

如果你想要一个只有奶酪的四块芝士披萨，你必须用这种方式来定义它：

Pizza and hasTopping exactly 4 CheeseTopping and hasTopping only CheeseTopping