rdf - Fuseki 可以同时使用 OWL 推理器和规则推理器吗

Question

我正在使用 Jena Fuseki 加载 Jena TDB 文件以构建 SPARQL 服务。该fuseki 推理器配置具有以下内容:

<#inf_model> a ja:InfModel ;
    ja:baseModel <#union_model>;
    ja:reasoner [ja:reasonerURL <http://jena.hpl.hp.com/2003/OWLMicroFBRuleReasoner>] ;

现在，我还想写一些规则并为 Fuseki 服务器设置一个通用规则推理器。我应该如何配置 Fuseki 以结合 OWL 推理器和通用规则推理器？

我尝试了以下配置:

<#inf_model> a ja:InfModel ;
    ja:baseModel <#union_model>;
    ja:reasoner [ja:reasonerURL <http://jena.hpl.hp.com/2003/OWLMicroFBRuleReasoner>] ;

    ja:reasoner [
        ja:reasonerURL <http://jena.hpl.hp.com/2003/GenericRuleReasoner> ; 
        ja:rulesFrom <file://D:/Program%20Files/apache-jena-fuseki-3.13.1/run/rule.ttl>; ]

但它失败了

...multiple values for the unique property http://jena.hpl.hp.com/2005/11/Assembler#reasoner

Fuseki 可以有一个以上的推理机吗？

Answer 1

inference documentation有一个名为“将 RDFS/OWL 与自定义规则相结合”的部分。他们提出的第一个建议是“使用另一个 InfModel 作为基础数据构建一个 InfModel”。

他们没有给出示例，但基于此我能够使以下内容起作用:

config:dataset a ja:RDFDataset ;
    ja:defaultGraph       <#model_inf2> ;
     .

<#model_inf2> a ja:InfModel ;
     ja:baseModel <#model_inf1> ;

     ja:reasoner [
        ja:rulesFrom <file:/my-rules.rules> ;
        ja:reasonerURL <http://jena.hpl.hp.com/2003/GenericRuleReasoner>
     ] .

<#model_inf1> a ja:InfModel ;
     ja:baseModel <#graph> ;
     ja:reasoner [
        ja:reasonerURL <http://jena.hpl.hp.com/2003/OWLFBRuleReasoner>
     ] .

<#graph> rdf:type tdb:GraphTDB ;
  tdb:dataset config:tdb_dataset_readwrite .

config:tdb_dataset_readwrite
        a             tdb:DatasetTDB ;
        tdb:location  "<path-to-tbd-dataset>"
        .