我的防护版本是5.2.0。我正在尝试通过SWRL编写一些规则。该规则在集成了Drools推理程序的SWRLTab上运行。这些规则用于具有某些类别和个人的本体。例如：Class_A与instance_a; Class_B与instance_b。 Class_A与Class_B不相交。
问题在于运行Drools后推断出的新事实困扰着事实基础：所有个人都成为所有类的实例。
推理之前
Class_A
-instance_a
Class_B
-instance_b
推理后
Class_A
-instance_a
-instance_b
Class_B
-instance_a
-instance_b
如何避免这种麻烦？