Protege：如何表达一个公理，指出A类与具有数据值X的B类有关？

Question

我想表达以下类型的公理：

“水有一定的物理量称为熔化温度，其中有100.0值”

我已经试过definig下面的类表达式：

Water SubClassOf (hasPhysicalQuality some (MeltingTemperature and hasValue value 100.0f)) 

而且我有以下的说法：

Water    Type     owl:Class 
hasPhysicalQuality Type     owl:ObjectProperty 
hasValue   Type     owl:DataProperty 

this_water   Type     Water 
this_temperature Type     MeltingTemperature 
this_water   hasPhysicalQuality this_temperature 
this_temperature hasValue    50.0f 

当我跑了球团推理，我是前因为与该水有关的熔化温度（this_temperature）具有50.0f的值，而不是100.0f。然而，推理者没有表明任何不一致。

我在这里做错了什么？

编辑：需要正确的公理是：

Water SubClassOf (hasPhysicalQuantity exactly 1 MeltingTemperature) 
Water SubClassOf (hasPhysicalQuanlity some (MeltingTemperature and (hasValue value 100.0f) 
hasValue Type owl:FunctionalProperty 

Answer 1

你应该让你的数据属性的功能 - 或者，正如你所说的意见，申请基数限制。