瞭解擴展和通用限制用例（比薩本體論用例）

Question

以下是比薩本體指南中的一個簡單問題。請幫我澄清一下我的疑惑。我指的是頁碼，因爲我不能在這裏寫整個段落。 從頁面61：有2個重要的筆記，它說如果創建了多個限制，那麼它就相當於兩個單獨的限制的交集。因此，這種說法只適用於包含類的個體不是不相交的。圖4.49

hasTopping只有CheeseTopping
hasTopping只有VegetableTopping

應該被解釋爲

hasTopping只（CheeseTopping和VegetableTopping）

這不可能是真實的，因爲CheeseTopping和VegetableTopping不相交 對彼此。

因此在筆記上記着作爲

hasTopping只（CheeseTopping OR VegetableTopping）

現在，如果這是真的， 再行使19，（圖4.25，第45頁）應該會導致錯誤。正如我們已經分別聲明瞭兩個擴展限制。 例如當定義Margherita的披薩，所述floowing語句被用於

hasTopping一些CheeseTopping
hasTopping一些VegetableTopping

因此所得到的應該是2類，它可以是不正確的交叉點。

Answer 1

hasTopping一些CheeseTopping
hasTopping一些VegetableTopping

這些表達式的交集不不一致。一個人可以有多個頂部。例如，一個披薩可以有一個奶酪配料，也有一個蔬菜配料。那麼它將是這兩種類型的一個實例，因此它們是交集的一個實例。

（屬性一些1類）和（屬性一些等級2）

不等同於

（屬性一些（1類和等級2））

這可能用另一個例子來看（如果上述不夠的話）。

Human＆sqsubseteq; ∃＆thinsp; hasBodyPart.Ear
Human＆sqsubseteq; ∃＆thinsp; hasBodyPart.Hand

每個人（模損傷，出生缺陷，等等）具有至少一個耳朵，並且至少一個手部。這並不意味着手是耳朵，或者耳朵是手。

因此，要回顧一下，你說得對，

與FORALL; PC ⊓＆FORALL將Pd ≡＆FORALL; P（C ⊓ d）

但它不是一般的情況下這

∃ PC ⊓ ∃物pD ≡ ∃第（C ⊓ d）

然而，如果事情有一個值這既是一個C和d，那麼它的值是C，而這是d的值，所以我們做有這個子類的關係：

∃ p。（C ⊓ D）＆sqsubseteq; ∃ P.C ⊓ ∃ Pd積

再舉一個例子，考慮不相交類母親和父親。該類表達

（hasParent一些母親）

是類的事情，有個媽媽。該類表達

（hasParent一些父親）

是類的事情，有一個父親。因爲有些東西既有父親也有母親，所以顯然有一個非空的十字路口。該路口的表達是你通過連接這些表情和得到什麼：

（hasParent一些母親）和（hasParent一些父親）

這是不同的，並不等同於，類表情：

（hasParent一些（父親和母親））

所有描述的邏輯操作的對邏輯和集合論來說真的只是一個方便的語法。類別表達式（僅限於C），或DL標記，＆forall; P.C，表示集合只能由特性p有關C.即元件的個體，

（p只能C）≡ {X：＆FORALL; Y [P（X，Y）＆RIGHTARROW; ÿ∈ C]}

同樣，（對一些C）是一組由屬性p相關的C一些元件的個體。即，

（對某些C）≡ {X：∃ Y [P（X，Y）∧Ÿ&在C]}

現在你可以考慮交叉點。

（p只能C）和（p僅d）
≡ {X：＆FORALL; Y [P（X，Y）＆RIGHTARROW; y ∈ C]} ∩ {x：＆forall; y [p（x，y）＆rightarrow; y ∈ D]}
≡ {x：＆forall; y [p（x，y）＆rightarrow; y ∈ C] ∧＆forall; y [p（x，y）＆rightarrow; y ∈ D]}
≡ {x：＆forall; y [p（x，y）＆rightarrow; （y ∈ C ∧ y ∈ D）]}
≡ {x：＆forall; y [p（x，y）＆rightarrow; Ÿ∈（C ∩ d）]}
≡（P只（C ⊓ d））

你不會得到存在限制不盡相同減少，但：

（P一些C）和（p一些d）
≡ {X：∃ Y [p（X，Y）&wegde;ÿ∈ C]} ∩ {X：∃ Y [p（X，Y）&wegde;ÿ∈ C]}

你不能再縮小這個距離，因爲第一個存在的y不一定等於第二個存在的y。