我正在努力了解如何在使用本体（写在 OWL 上）和 SWRL 规则时初始化变量的值。为了测试这个初始化问题，我（在 Protegé 4.3 上）创建了一个名为 的测试类，该类Test的一个个体名为Indiv，一个属性名为Prop，具有Test域和int范围。之后，我创建了这样的规则：Test(Indiv)->Prop(Indiv,5). 如果我正确理解了先前的解释，现在Indiv应该5在其Prop属性上具有 a，但我看不到任何事情发生（可能这是另一个问题，我如何在 Protegé 上看到规则所做的更改？）