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

Question

根据我目前所见，所有耶拿推理规则如下：

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

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