如何使用耶拿规则更新RDF三元组（未添加新的RDF三元组）。我正在使用通用规则推理器，并且规则在单独的文件中，如所示案例1 ：
@前缀fa：http://www.smarthome_haier.com#。
规则1：（？a fa：setTimer“ 0”）（？a fa：windvolume“ 150”）->删除（0）（？a fa：setTimer“ 1”）
使用 remove（）内置基元来添加新的三元组并使用remove（）内置选项删除旧的三元组“（？a fa：setTimer” 0“）”可以正常工作。
但是例如在下面的这种第二种情况中，我们希望得到与情况一相同的结果：
@前缀fa：http://www.smarthome_haier.com#。
规则1：（？a fa：airPresure“ 40”）（？a fa：windvolume“ 150”）->（？a fa：setTimer“ 1”）
使用此方法会在图形中添加新的三元组（？fa：setTimer“ 1”），但也存在旧的三元组（？fa：setTimer“ 0”），因为我们没有删除该三元组。
在第二种情况下如何更新三重？ 规则头中不存在（？fa：setTimer“ 0”）。 我希望这可以解释这个问题。任何帮助将不胜感激。谢谢！
点击[此处]耶拿推理支持https://jena.apache.org/documentation/inference/index.html