UIMA Ruta处理歧义概念时规则执行异常问题咨询

问题成因 #

• 全局变量跨匹配上下文污染：规则中定义的temp是脚本级全局ANNOTATIONLIST变量，不属于单次规则匹配的局部上下文。当同位置存在多个重叠的TestSubject注解（对应"bank"的人、地两个歧义语义）时，两次规则触发共用同一个temp实例，前一次匹配执行ADD后残留的列表内容会直接污染后一次匹配的ASSIGN逻辑，输出结果中place类TestSubject的children数组混入person类TestPerson节点就是这个问题导致的。
• 无目标FILL操作匹配歧义：原规则中FILL(TestSubject, "children"=temp)没有指定要填充的具体TestSubject实例，Ruta遇到同位置重叠的多个同类型注解时，默认仅命中注解索引排序后的第一个实例，也就是输出中kind=place的TestSubject；第二次规则匹配生成的person类TestSubject不会被该FILL操作命中，因此其children数组始终停留在初始化时仅包含自身的状态。
• 版本表现差异原因：2.8.x版本调整了重叠注解的默认遍历顺序、规则动作的执行提交时机，全局变量残留、无目标FILL随机命中的问题被进一步放大，因此问题表现比2.7.0版本更明显。

修正实现方案 #

核心修正逻辑三点：

• 删除全局ANNOTATIONLIST变量，所有属性操作都基于单次匹配绑定的局部注解实例完成，彻底避免跨匹配上下文的变量污染。
• 废弃无目标的类型级FILL操作，所有属性更新直接指向规则匹配阶段绑定的具体注解实例，避免重叠注解场景下的命中错误。
• 去掉不必要的列表中转逻辑，直接操作目标注解的FSArray属性完成子节点添加。

修正后的完整规则代码如下：

DECLARE TestPerson(uima.tcas.Annotation concept);
DECLARE TestPlace(uima.tcas.Annotation concept);
DECLARE TestSubject(uima.tcas.Annotation concept, uima.cas.FSArray children, String kind);
DECLARE TestModifier(uima.tcas.Annotation concept);
DECLARE TestBE;
DECLARE TestAdj;
DECLARE TestRelation (uima.tcas.Annotation arg1 ,uima.tcas.Annotation arg2,String kind);

"bank" -> TestPerson;
"bank" -> TestPlace;
"nice" -> TestAdj;
"was" -> TestBE;

p:TestPlace{-> CREATE(TestSubject,"concept"=p, "children"=p, "kind"="place")};
p:TestPerson{-> CREATE(TestSubject,"concept"=p, "children"=p, "kind"="person")};
a:TestAdj{-> CREATE(TestModifier,"concept"=a)};

(p:TestSubject TestBE? m:TestModifier)
{ ->
    child:CREATE(TestRelation, "kind"="BE", "arg1"=p.concept, "arg2"=m.concept),
    ADD(p.children, child)
};

验证效果：针对输入语句The bank was nice运行上述规则，两个同位置重叠的TestSubject实例会各自独立维护children数组：

• kind=place的TestSubject，children包含自身绑定的TestPlace节点、对应生成的TestRelation节点
• kind=person的TestSubject，children包含自身绑定的TestPerson节点、对应生成的TestRelation节点
  不存在属性串改、实例漏更新问题，在2.7.0、2.8.1版本下执行结果一致。

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