ontology - OWL Ontology（给出属性限制）

Question

我目前正在研究 OWL Ontology 我有一个关于财产的问题。

坦率地说，我并没有真正看到对阶级进行财产限制的重要性。

例如，

产品（类）有制造商（属性）一些制造商。

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

但是，那为什么不只做对象属性断言

塑料模型（产品的个体）具有制造商（对象属性）DOCOMO（制造商的实例）？

我必须两者都做吗？如果我不做第一件事，推理者说没有问题。为什么我必须两者都做？

Answer 1

财产限制断言关于一组个人的东西，而不仅仅是一个人。考虑属性限制：

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

与属性断言：

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

其中{John}和{Mary}是具有单个个体的类，但man和woman是具有0个或更多个体的类。