如何在Protege 5的SWRLtab中输入带负号的SWRL规则？

Question

Here我发现应该可以这样编写SWRL规则：

Person(?p) ^ (hasCar = 0)(?p) -> CarlessPerson(?p)

但是当我尝试在Protege的SWRLtab中输入此示例时，出现错误：意外字符'='

我试图用另一种方式输入它：

Person(?p) ^ (hasCar max 0 Car)(?p) -> CarlessPerson(?p)

但是它也不起作用。

如何在Protege的SWRLtab中输入此类规则？