向后鏈接耶拿推理機

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形式的三元組時，推理機將在那時觸發該規則。