我需要帮助弄清楚为什么我在 Protege 中的SWRL规则没有推断出任何属性。例如，我有一个规则来计算一堵墙的门面积：
Door(?d) ^ hasHeight(?d, ?h) ^ hasWidth(?d, ?w) ^ swrlb:multiply(?da, ?h, ?w) -> hasDoorArea(?d, ?da) ^ sqwrl:select(?d, ?da)
当我在SQWRL上运行规则时，我得到了一个结果，但是这个结果没有显示在本体中。我已经在推理器上启用了推断对象属性断言，但它仍然不会返回结果。请提供任何帮助。