OWL Ontology (提供属性限制)

Question

我目前正在研究OWL Ontology，我有一个关于属性的问题。

坦率地说，我真的看不出给class一个属性限制的重要性。

例如,

产品(类)具有制造商(属性)某个制造商。

在这种情况下，这意味着一个产品至少有一个制造商。

但是，为什么不通过以下方式直接使用对象属性断言

塑料模型(产品的个体)具有制造商(对象属性) 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个或更多个体的类。