在门徒合格的基数限制定义(Qualified cardinality restriction def

我下面这个教程- > LINK

在75页，它说明了如何使用合格的基数限制定义FourCheesePizza。 根据该说明它说：“有了这个说明一个FourCheesePizza仍可也有其他类型的浇头的其他关系。为了让我们说，我们只是希望它有四个奶酪配料并没有其他的配料，我们必须添加关键字“只“（全称量词）”。

现在，我的FourCheesePizza的定义是：

Pizza and hasTopping exactly 4 CheeseTopping

但我不明白的地方加入“唯一”的关键字，因为我只得到语法错误。

Answer 1:

如果你想别的，只是奶酪四个奶酪比萨，你必须以这种方式来定义它：

Pizza and hasTopping exactly 4 CheeseTopping and hasTopping only CheeseTopping

文章来源: Qualified cardinality restriction definition in Protege