向后链接耶拿推理机

Question

我一直在阅读Jena文档，以尝试创建简单的纯后向链推理器。 我有一个适用于小型本体的简单向后链接规则。 我想知道是否仍然可以在每个查询的基础上进行反向链接，所以当我得到带有以下内容的InfModel时，并不是所有的需求都被计算出来：

Modelfactory.createInfModel(reasoner,model) 

而是仅在需要它们时。 因此，对于以下规则：

[rule2: (?x rdfs:type ?z)<-(?x ?rdf:type ?y),(?y rdfs:subClassOf ?z)]

我可以注册一个查询来查找特定类的所有类型的查询，然后将触发上面的规则？

Answer 1

根据有关反向链接引擎的文档 ，您想要的行为已经是反向链接引擎提供的功能：

如果规则推理机以向后链接模式运行，它将使用逻辑编程（LP）引擎，该引擎的执行策略与Prolog引擎类似。 当查询推理模型时，查询将转换为目标，引擎会尝试通过匹配任何存储的三元组以及针对反向链规则的目标解析来满足该目标 。 [加重]

如果使用提供的规则定义推理机，则当您要求x rdf:type z形式的三元组时，推理机将在那时触发该规则。