TypeDB分支实体未覆盖属性从主实体推理继承异常排查

你的规则逻辑存在两处核心错误，导致判断失效：

• 属性存在性判断的作用域错误：你将$cr has attribute $ca写在了not否定块外部，仅固定绑定了子实体的某一个属性做类型校验，而非判断「子实体是否完全不存在当前属性类型的自有值」。
• 规则迭代推理时的绑定漂移：初始状态下子实体只有name属性，你手动执行查询时因为没有推理派生的新属性，$ca只能绑定到这个name属性，查询结果看似正确；但开启推理后，规则会先派生出description、req-type两个属性，后续迭代计算时$ca可以绑定到这两个非name类型的属性，此时校验父实体的name属性时，会因为绑定到的$ca不是name类型，误判为「子实体没有name属性」，错误触发继承逻辑。

将「子实体存在同类型属性」的判断整体放入not块内部，不要在否定块外提前绑定$ca，修正后的规则如下：

rule when-not-defined-attributes-derive-from-parent:
    when
    {
        $rr (branched-from: $rm, branch-item: $cr) isa req-branching;
        $rm has $ma;
        $ma isa! $t;
        not
        {
            $cr has $ca;
            $ca isa! $t;
        };
    }
    then
    {
        $cr has $ma;
    };

修正后not块的语义为：不存在任何属于子实体$cr、类型为$t的属性$ca，即子实体完全没有覆盖该类型属性时，才会从父实体继承对应值。
该写法同时支持多层分支递归继承：如果存在A→B→C的多级派生关系，B上推理得到的派生属性会被C的校验逻辑识别，不会出现重复继承、跨层覆盖的问题。

重新加载规则开启推理后，查询子实体的属性只会返回三个结果：自有的name: other、从父实体继承的description: demo master、req-type: whatever，不会再错误继承父实体的name: master属性，符合预期。

内容的提问来源于stack exchange，提问作者Rafael Kalachev