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个或更多个人的类。