swrl规则未返回推断的属性

Question

我需要帮助弄清楚为什么Protege中的 SWRL 规则没有推断出任何财产。例如，我有一条规则来计算墙的门面积为：

Door(?d) ^ hasHeight(?d, ?h) ^ hasWidth(?d, ?w) ^ swrlb:multiply(?da, ?h, ?w) -> hasDoorArea(?d, ?da) ^ sqwrl:select(?d, ?da)

当我在 SQWRL 上运行规则时，得到一个结果，该结果未显示在本体中。我已经在推理机上启用了推断的对象属性断言，但是它仍然不会返回结果。 任何帮助都将有用。