Protege中的合格基数限制定义 [英] Qualified cardinality restriction definition in Protege

问题描述

我正在关注本教程-> LINK

I was following this tutorial -> LINK

在第75页，它说明了如何使用合格的基数限制来定义FourCheesePizza.在说明下，它说:有了这个描述，FourCheesePizza仍然可以与其他类型的浇头有其他关系.为了让我们说我们只希望它具有四个奶酪浇头，而没有其他浇头，我们必须添加关键字'only '(通用量词)".

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)".

现在，我对FourCheesePizza的定义是:

Now, my definition of FourCheesePizza is:

Pizza and hasTopping exactly 4 CheeseTopping

但是我不知道在哪里添加'only'关键字，因为我只会遇到语法错误.

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

推荐答案

如果您想要一个除了奶酪之外别无其他的四个奶酪披萨，则必须按以下方式进行定义:

If you want a four cheese pizza with nothing else than cheese, you have to define it in this way:

Pizza and hasTopping exactly 4 CheeseTopping and hasTopping only CheeseTopping

这篇关于Protege中的合格基数限制定义的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！