Fuseki猫头鹰推理机无法与TDB一起使用

Question

这是我的配置文件

# Licensed under the terms of http://www.apache.org/licenses/LICENSE-2.0

## Fuseki Server configuration file.

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

[] rdf:type fuseki:Server ;
    fuseki:services (
        <#service1>
    )
.

# TDB
tdb:DatasetTDB  rdfs:subClassOf  ja:RDFDataset .
tdb:GraphTDB    rdfs:subClassOf  ja:Model .

[] ja:loadClass "com.hp.hpl.jena.tdb.TDB" .

<#service1> rdf:type fuseki:Service ;
fuseki:name                       "rs" ;       # http://host:port/ds
fuseki:serviceQuery               "sparql" ;   # SPARQL query service
fuseki:serviceQuery               "query" ;    # SPARQL query service (alt name)
fuseki:serviceUpdate              "update" ;   # SPARQL update service
fuseki:serviceUpload              "upload" ;   # Non-SPARQL upload service
fuseki:serviceReadWriteGraphStore "data" ;     # SPARQL Graph store protocol (read and write)
# A separate read-only graph store endpoint:
fuseki:serviceReadGraphStore      "get" ;      # SPARQL Graph store protocol (read only)
fuseki:dataset                   <#dataset> ;
.


<#dataset> rdf:type      tdb:DatasetTDB ;
    tdb:location "RS" ;
    ja:defaultGraph       <#model_inf> ;
.


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


<#tdbGraph> rdf:type tdb:GraphTDB ;
    tdb:dataset <#RSDataSet> .

<#RSDataSet> rdf:type  tdb:DatasetTDB ;
    tdb:location "RS" ;
    tdb:unionDefaultGraph true ;
.

当我运行fuseki （2.3）时，我可以看到使用TDB的数据集（不在内存中），我可以上传我的rdf三元组，即使我关闭fuseki并重新打开它，三元组也存在，但是reaoner不能正常工作

这是我的数据

@prefix : <http://example.org/rs#>
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>

:A   rdfs:subClassOf :B .
:B   rdfs:subClassOf :C .
:i  a   :A .

当我做这个查询

select * where {
:i a ?e
}

我得到:A我应该到达:A地方:B和:C

请问我的配置有什么问题？

Answer 1

我猜您在运行fuseki时可能无法正确加载配置文件。 您是否明确要求fuseki使用您的配置文件？

通过遵循本教程中的说明，我的funki在推理能力方面运行良好（ http://krr.cs.vu.nl/wp-content/uploads/2013/09/protege-fuseki-yasgui-manual.pdf ） 。 检查第3页，希望您能解决您的问题。

Answer 2

这条线

<#dataset> rdf:type      tdb:DatasetTDB ;

表示这是TDB数据库，但这不是必需的。 您需要一个ja:RDFDataset来包含将TDB用作基础数据的inf图。

（需要测试）

<#dataset> rdf:type       ja:RDFDataset ;
    ja:defaultGraph       <#model_inf> ;
    .

Answer 3

我不熟悉Fuseki的细节，我敢打赌您需要在OWL或RDFS配置文件上显式调用推理引擎。 完成后，您应该会看到所需的附件。 OTOH，有一个常见的SPARQL查询将获得相同的必要结果：

SELECT ?e
WHERE {
   :i a ?cls .
   ?cls rdfs:subClassOf* ?e .
}

或者，更紧凑地使用属性路径：

SELECT ?e
WHERE {
   :i rdf:type/rdfs:subClassOf* ?e .
}