如何比较OWL中的属性？答案

【问题标题】：How to compare properties in OWL?如何比较OWL中的属性？
【发布时间】：2020-09-12 16:02:14
【问题描述】：

我将如何在 OWL/Protege 中表示以下推理？

如果 A 型分子的碳链比 B 型分子长，则 A 的沸点高于 B。

我按如下方式解压缩该语句：

A_1 has property P_1 value V_11, property P_2 with value V_21
A_2 has property P_1 value V_12, property P_2 with value V_22

V_11 > V_12 therefore V_21 > V_22

我不确定如何在 OWL 中表示属性。

我是否使用数据属性或对象属性限制？“丙烷具有三碳链”这一表述是指所有丙烷分子，而不仅仅是一个单独的丙烷分子。
如何表示比较？V21 > V_22 可以，V_11 > V12 不是必须的。

【问题讨论】：

你不能比较 owl 中的值，很可能你应该看看 SWRL
您需要使用规则来执行此操作。因此，正如@UninformedUser 所述，SWRL 是一个选项。您还可以查看 SHACL/SPIN/SHEX。

标签： owl ontology protege reasoning

【解决方案1】：

在这种情况下，您可以将其包含在您的数据属性中。在以下链接中查看属性的逻辑特征部分 https://www.w3.org/TR/owl-ref/#:~:text=A%20property%20restriction%20is%20a,value%20constraints%20and%20cardinality%20constraints.

【讨论】：