如何逐步定义非常简单的自身规则

Question

我正在寻求您的帮助，以了解如何在Fuseki中创建自己的财产规则。我已经阅读了Jena和Fuseki的文档有关推理和规则的文档，但我不明白如何（逐步）创建简单规则。我发现的示例是专注于猫头鹰推理器。

我不清楚在config.ttl文件中写了什么，以便考虑到我在本体方面的规则。我通过sparql-client与python一起使用sparql点，而且我不掌握java代码和应用程序。

我的目的是创建下一个规则：

@prefix rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns#
@prefix ex: http://example.com/
@prefix xs: http://www.w3.org/2001/XMLSchema#
@prefix ont: http://www.myownontolongy/ontology/
[dependsOfExchange:
(?e ont:refersToPriorActivityData ?a)
(?a ont:hasExchange ?es)
->
(?e rme:dependsOfExchange ?es)
]

SWRL语法中的原理是：

refersToPriorActivityData(?e,?a) ^ hasExchange(?a,?es) => dependsOfExchange(?e,?es)

预先感谢。

---

用一个解决方案编辑

@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 tdb:     <http://jena.hpl.hp.com/2008/tdb#> .
@prefix ja:      <http://jena.hpl.hp.com/2005/11/Assembler#> .
[] ja:loadClass "com.hp.hpl.jena.tdb.TDB" .
tdb:DatasetTDB  rdfs:subClassOf  ja:RDFDataset .
tdb:GraphTDB    rdfs:subClassOf  ja:Model .
[] rdf:type fuseki:Server ;
   # Timeout - server-wide default: milliseconds.
   # Format 1: "1000" -- 1 second timeout
   # Format 2: "10000,60000" -- 10s timeout to first result, then 60s timeout for the rest of query.
   # See java doc for ARQ.queryTimeout
   # ja:context [ ja:cxtName "arq:queryTimeout" ;  ja:cxtValue "10000" ] ;
   # ja:loadClass "your.code.Class" ;
   fuseki:services (
     <#reminer>
   ) .
## ---------------------------------------------------------------
## Updatable in-memory dataset.
<#reminer> rdf:type fuseki:Service ;
    # URI of the dataset -- http://host:port/reminer
    fuseki:name                        "name_of_your_database" ; 
    fuseki:serviceQuery                "sparql" ;
    fuseki:serviceQuery                "query" ;
    fuseki:serviceUpdate               "update" ;
    fuseki:serviceUpload               "upload" ;
    fuseki:serviceReadWriteGraphStore  "data" ;     
    fuseki:serviceReadGraphStore       "get" ;
    fuseki:serviceReadGraphStore       "" ;      
    fuseki:dataset                     <#myDataset> ;
    .
## In-memory, initially empty.
## This database set-up allows OWL inference.
<#myDataset> rdf:type ja:RDFDataset ;
                tdb:unionDefaultGraph true ; 
                ja:defaultGraph <#infGraph> .
<#infGraph> rdf:type ja:InfModel ;
             ja:reasoner [ ja:rulesFrom <file:rules/inference_rules.rules> ; ] ; #the rules directory is in the "run" directory
             ja:baseModel <#baseGraph> .
<#baseGraph> rdf:type tdb:GraphTDB;
             tdb:location "path_of_your_database" .

和inperion_rules.rules示例：

@prefix rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns#
@prefix ex: http://example.com/
@prefix xs: http://www.w3.org/2001/XMLSchema#
@prefix mO: http://www.semanticweb.org/myOntology/
[dependsOfExchange:
(?e mO:producedBy ?a)
(?a mO:hasExchange ?es)
                 ->
                 (?e rme:dependsOf ?es)
         ]

Answer 1

.ttl通过cmd行使用：./fuseki-server -config =/path/of/of/your/your/custom-config.ttl

@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 tdb:     <http://jena.hpl.hp.com/2008/tdb#> .
@prefix ja:      <http://jena.hpl.hp.com/2005/11/Assembler#> .
[] ja:loadClass "com.hp.hpl.jena.tdb.TDB" .
tdb:DatasetTDB  rdfs:subClassOf  ja:RDFDataset .
tdb:GraphTDB    rdfs:subClassOf  ja:Model .
[] rdf:type fuseki:Server ;
   # Timeout - server-wide default: milliseconds.
   # Format 1: "1000" -- 1 second timeout
   # Format 2: "10000,60000" -- 10s timeout to first result, then 60s timeout for the rest of query.
   # See java doc for ARQ.queryTimeout
   # ja:context [ ja:cxtName "arq:queryTimeout" ;  ja:cxtValue "10000" ] ;
   # ja:loadClass "your.code.Class" ;
   fuseki:services (
     <#reminer>
   ) .
## ---------------------------------------------------------------
## Updatable in-memory dataset.
<#reminer> rdf:type fuseki:Service ;
    # URI of the dataset -- http://host:port/reminer
    fuseki:name                        "name_of_your_database" ; 
    fuseki:serviceQuery                "sparql" ;
    fuseki:serviceQuery                "query" ;
    fuseki:serviceUpdate               "update" ;
    fuseki:serviceUpload               "upload" ;
    fuseki:serviceReadWriteGraphStore  "data" ;     
    fuseki:serviceReadGraphStore       "get" ;
    fuseki:serviceReadGraphStore       "" ;      
    fuseki:dataset                     <#myDataset> ;
    .
## In-memory, initially empty.
## This database set-up allows OWL inference.
<#myDataset> rdf:type ja:RDFDataset ;
                tdb:unionDefaultGraph true ; 
                ja:defaultGraph <#infGraph> .
<#infGraph> rdf:type ja:InfModel ;
             ja:reasoner [ ja:rulesFrom <file:rules/inference_rules.rules> ; ] ; #the rules directory is in the "run" directory
             ja:baseModel <#baseGraph> .
<#baseGraph> rdf:type tdb:GraphTDB;
             tdb:location "path_of_your_database" .

和inperion_rules.rules示例：

@prefix rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns#
@prefix ex: http://example.com/
@prefix xs: http://www.w3.org/2001/XMLSchema#
@prefix mO: http://www.semanticweb.org/myOntology/
[dependsOfExchange:
(?e mO:producedBy ?a)
(?a mO:hasExchange ?es)
                 ->
                 (?e rme:dependsOf ?es)
         ]