OWL本體（賦予財產限制）

Question

我目前正在研究OWL本體，我有一個關於財產的問題。

坦率地說，我並不真正看到給予階級財產限制的重要性。

例如，

產品（類）具有製造商（屬性）的一些製造商。

在這種情況下，這意味着一個產品至少有一個製造商。

但是，那麼爲什麼不只是通過

對象屬性斷言塑料模型（該產品的個人）具有製造商（對象屬性）DOCOMO（製造商的一個實例）？

我必須這樣做嗎？如果我不做第一件事，那麼推理者說沒有問題。爲什麼我必須這樣做？

Answer 1

財產限制主張關於一組人，而不僅僅是一個人。考慮物業的限制：

Every man likes a woman. (i.e. "man subClassOf like some woman") 

VS屬性斷言：

John likes Mary. (i.e. "{John} subClassOf like some {Mary}") 

其中{John}和{Mary}是類與單個人，而是man和woman是類0或以上的個人。