jena - 耶拿推理：在结论中动态添加新资源

Question

从我目前所见，所有耶拿推理规则都采用以下形式：

[hirarchyExpansion:
(?x dbo:isPartOf ?loc)
(?loc dbo:isPartOf ?highloc)
->
(?x dbo:isPartOf ?highloc)
]

这意味着不能在结论中添加新资源。我需要的是在规则的结论中动态命名和添加新资源。有人可以请我参考解决方案吗？