如何在Jena Fuseki中跨命名图（含联合图）执行推理？

可行性说明 #

完全可以实现基于联合图（urn:x-arq:UnionGraph）的跨命名图推理，你当前的配置问题在于推理层仅绑定到默认图的联合视图，但没有让推理逻辑覆盖到跨命名图的查询场景。以下是修正后的配置方案和替代策略：

修正后的Assembler配置 #

调整配置，让推理模型直接基于联合图，并确保数据集的默认图指向这个带推理的联合视图，这样查询默认图时就能得到所有命名图的推理结果：

@prefix :       <http://base/#> .
@prefix fuseki: <http://jena.apache.org/fuseki#> .
@prefix ja:     <http://jena.hpl.hp.com/2005/11/Assembler#> .
@prefix rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs:   <http://www.w3.org/2000/01/rdf-schema#> .
@prefix tdb2:   <http://jena.apache.org/2016/tdb#> .

# 基础Fuseki服务配置
:service_tdb_all  a               fuseki:Service ;
    rdfs:label                    "TDB2 INFER Dev" ;
    fuseki:dataset                :dataset ;
    fuseki:name                   "INFER-Dev" ;
    fuseki:serviceQuery           "query" , "" , "sparql" ;
    fuseki:serviceReadGraphStore  "get" ;
    fuseki:serviceReadQuads       "" ;
    fuseki:serviceReadWriteGraphStore "data" ;
    fuseki:serviceReadWriteQuads  "" ;
    fuseki:serviceUpdate          "" , "update" ;
    fuseki:serviceUpload          "upload" .

# 定义带推理的数据集：默认图为带推理的联合图
:dataset a ja:RDFDataset ;
    ja:defaultGraph :inferred_union_graph .

# 推理模型：基于联合图构建
:inferred_union_graph a ja:InfModel ;
     ja:baseModel :union_graph ;
     ja:reasoner [
         ja:reasonerURL <http://jena.hpl.hp.com/2003/OWLFBRuleReasoner>
     ] .

# 绑定TDB2的联合图
:union_graph rdf:type tdb2:GraphTDB ;
  tdb2:dataset :tdb_dataset_readwrite ;
  tdb2:graphName <urn:x-arq:UnionGraph> ;
  .

# TDB2数据集存储配置
:tdb_dataset_readwrite
        a       tdb2:DatasetTDB2 ;
        tdb2:location  "../Fuseki/run/databases/dev" .

配置说明 #

• 将推理模型直接关联到UnionGraph，这样默认图的查询会自动包含所有命名图的数据及推理生成的三元组
• 如果你需要查询单个命名图的原始数据，仍然可以通过GRAPH <your-named-graph-uri>语法访问，不受推理层影响

替代策略（若上述配置无法满足需求） #

如果需要更灵活的跨命名图推理场景，开发者常用以下策略：

• 物化推理结果：定期运行推理任务，将联合图的推理结果写入一个专门的命名图（比如<http://example.org/inferred>），后续查询直接引用该命名图
• 查询时显式指定联合图：在SPARQL查询中直接调用联合图并结合推理，例如：

  SELECT ?s ?p ?o
  WHERE {
      GRAPH <urn:x-arq:UnionGraph> {
          ?s ?p ?o
      }
  }
  

  确保Fuseki服务的推理配置已启用，查询会自动处理联合图的推理
• 全局推理数据集：通过自定义装配，让整个数据集的所有命名图都应用推理层（注意：此方式会带来较大性能开销，仅适合小规模数据集）

内容的提问来源于stack exchange，提问作者scotthenninger