如何比较OWL中的属性？

问题描述

我将如何在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不是必需的。

解决方法

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