owl - 如何比较OWL中的属性？

Question

我将如何在 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 中表示属性。

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

标签： owlontologyprotegereasoning

Answer 1

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