通过遵循合格的基数限制来强制不一致

Question

我的问题超出了这里已经提出的一个问题

我定义了这样的合格基数限制：

Pizza and hasTopping exactly 4 CheeseTopping and hasTopping only CheeseTopping

现在，当拥有一个断言类型为'FourCheesePizza'的个体具有少于四个'CheeseTopping'属性断言时，我该如何强制本体的不一致？

换句话说：我如何声明让我们说两个“ CheeseTopping”属性声明绝对是唯一的一个，这样就导致了不一致的发生？

Answer 1

在OWL中做出这样的声明并不是太困难，但是由于开放世界的假设 ，这确实意味着您必须确保有更多的知识可用。 首先，两奶酪比萨，姑且称之为P，将被标记为不一致的四奶酪比萨必须以某种方式被声明为具有正好两个奶酪配料。 您可以通过给p输入类型来实现

hasTopping 正好 2 CheeseTopping。

这足以解决不一致问题。 如果这看起来有点通用，并且您想指定p可以具有的确切浇头，则可以将p的类型指定为

hasTopping 仅 {切达干酪，马苏里拉干酪}

表示p只能将切达干酪和莫扎里拉 干酪作为浇头。 在这一点上，我们知道p最多可以具有两个浇头（如果尚未将Cheddar和Mozzarella声明为不同的个体，则它可以仅为一个），这与它作为FourCheesePizza并具有四个奶酪浇头是不一致的。