OWL Ontology（给出属性限制）

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