使用SWRLJessTab Protege重新分类声明的实例

Question

我正在使用Protege 3.4，我构建了我的本体，并使用SWRL和sqwrl内置的SWRL规则扩展了它。规则对本体类的实例进行分类; RHS是一个实例的类断言。它运行成功但是当我更改LHS中的原因值时，没有重新分类，实例被声明为同一个类

为什么会这样？如何重新分类实例？

例如： SWRL规则： 1.消息（？m）hasInterest（？m，？i）hasCategory（？m，？c）sqwrl：makeset（？s1，？i）sqwrl：makeset（？s2，？c）sqwrl：intersection（？s3， ？s1，？s2）sqwrl：size（？n，？s3）swrlb：greaterThan（？n，0） - ＆gt;火腿（M +）

1. 消息（？m）hasInterest（？m，？i）hasCategory（？m，？c）sqwrl：makeset（？s1，？i）sqwrl：makeset（？s2，？c）sqwrl：difference（？s3 ，？s1，？s2）sqwrl：size（？n，？s3）swrlb：greaterThan（？n，0） - ＆gt;垃圾邮件（M +）

因此，一旦将消息实例分类为ham，每当我更改i或c的值时，它将始终为ham。