OWL 术语 : Why do Individuals Have ObjectProperties (Instead of IndividualProperties)

Question

在 W3 OWL 规范中，个体的属性分为两组:数据类型属性和对象属性。定义了对象属性(正如我发现的一篇文章所说的那样):

"Object properties (owl:ObjectProperty) relates individuals (instances) of two OWL classes.

因此，本质上，对象属性也可以称为“个体属性”，因为它们不仅指向任何类型的通用对象，还专门指向个体。

现在，如果这只是一些随机规范，我会假设作者只是简单地选择了他们的名字，但这是 W3 规范，而且专门针对知识存储；我必须假设人们想到了事物的名称!

因此，我希望这里有人可以解释这个看似奇怪的命名选择。毕竟，您可以将任何规范中的该死的任何东西称为“ObjectFoo”，因为 Object 是一个超通用术语，但通常人们在命名事物时会使用最具体的术语，尤其是。

也许还有其他一些情况，ObjectProperty 可以指代个人以外的东西，或者我遗漏的任何可能解释这一点的东西？

Answer 1

术语“ObjectProperty”(最有可能)是为了将它与“DatatypeProperty”区分开来，因为后者只能具有(数据类型化的)文字值，而不是完整的对象。是的，不仅仅是个体可以是 ObjectProperty 的值，类也可以是它们的值——尽管如果你这样做，你的本体不再是有效的 OWL DL，而是变成了 OWL Full。但从建模的角度来看它是有效的。