以下是比萨本体指南中的一个简单问题。请帮助我澄清我对它的怀疑。我指的是页码，因为我不能在这里写整段。 从第61页开始：有两个重要的注释，即如果创建了多个限制，则它相当于两个单独限制的交集。因此，这个陈述只适用于包含类的个体并不是不相交的。 Fig.4.49 e.g。
hasTopping only CheeseTopping
hasTopping only VegetableTopping
应解释为
hasTopping only（CheeseTopping和VegetableTopping）
这不可能是因为CheeseTopping和VegetableTopping相互脱节。
因此在笔记中写为
仅限跳过（CheeseTopping OR VegetableTopping）
现在如果这是真的， 然后练习19，（图4.25，第45页），应该导致错误。因为我们分别声明了两个扩展限制。 例如在定义Margherita Pizza时，使用了floowing语句
吃了一些CheeseTopping
hasTopping some VegetableTopping
因此结果应该是2类的交集，这不可能是真的。
答案 0 :(得分：1)
吃了一些CheeseTopping
hasTopping some VegetableTopping
这些表达式的交集并不矛盾。个人可以拥有多个顶部。例如，比萨饼可以具有一个奶酪馅料并且还具有一个蔬菜馅料。然后它将是两种类型的实例，因此是它们交集的实例。
（属性为Class1）和（属性为Class2）
不等于
（属性some（Class1和Class2））
这可以通过另一个例子看出（如果上述情况不充分）。
人类⊑∃hasBodyPart.Ear
人类⊑∃hasBodyPart.Hand
每个人（模数伤，出生缺陷等）至少有一只耳朵，至少有一只手。这并不意味着手是耳朵，或耳朵是手。
所以，回顾一下，你是对的
∀p.C⊓⊓p.D≡∀p。（C⊓D）
但通常情况并非如此
∃p.C⊓⊓p.D≡∃p。（C⊓D）
但是，如果某个东西的值既是C又是D，那么它的值是C，值是D，所以我们确实有这个子类关系：
∃p。（C⊓D）⊑⊑p.C⊓∃p.D
作为另一个例子，考虑不相交的类母亲和父亲。类表达式
（hasParent some mother）
是一类拥有母亲的东西。类表达式
（hasParent some Father）
是有父亲的事物。显然有一个非空的交叉点，因为有些东西都有父亲和母亲。通过将这些表达式与and：
连接，可以得到交集表达式（hasParent some Mother）和（hasParent some Father）
这与类表达式不同，而不是等同于：
（hasParent some（母亲和父亲））
所有描述逻辑操作实际上只是逻辑和集合理论的一种方便的语法。类表达式（p only C）或DL表示法∀pC 表示仅由属性p与CIe元素相关联的个体集合，< / p>
（p only C）≡{x：∀y[p（x，y）→y∈C]}
类似地，（p some C）是通过属性p与C的某个元素相关的个体集合。即，
（p some C）≡{x：∃y[p（x，y）∧y＆amp; in C]}
现在你可以考虑交叉点了。
（p仅C）和（p仅D）
≡{x：∀y[p（x，y）→y∈C]}∩{x：∀y[p（x，y）→y∈D]}
≡{x：∀y[p（x，y）→y∈C]∧∀y[p（x，y）→y∈D]}
≡{x：∀y[p（x，y）→（y∈C∧y∈D）]}
≡{x：∀y[p（x，y）→y∈（C∩D）]}
≡（仅p（C⊓D））
但是，对于存在性限制，你没有得到相同的减少：
（p some C）and（p some D）
≡{x：∃y[p（x，y）＆amp; wegde; y∈C]}∩{x：∃y[p（x，y）＆amp; wegde; y∈C]}
你无法进一步减少这一点，因为第一个存在主义中的y不一定等于第二个存在主体中的y。