You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@jena.apache.org by gi...@apache.org on 2020/05/13 08:52:53 UTC
[jena-site] branch asf-site updated: Updated site from master
(42452cbd7dcd50a0d3e10f4eb0f1fcd40bd7cb55)
This is an automated email from the ASF dual-hosted git repository.
git-site-role pushed a commit to branch asf-site
in repository https://gitbox.apache.org/repos/asf/jena-site.git
The following commit(s) were added to refs/heads/asf-site by this push:
new c49d2e3 Updated site from master (42452cbd7dcd50a0d3e10f4eb0f1fcd40bd7cb55)
c49d2e3 is described below
commit c49d2e35e3e5508c972ad1f89c0229c7683af09a
Author: jenkins <bu...@apache.org>
AuthorDate: Wed May 13 08:52:49 2020 +0000
Updated site from master (42452cbd7dcd50a0d3e10f4eb0f1fcd40bd7cb55)
---
.../fuseki2/fuseki-configuration.html | 65 +++++++++++++++++++++-
content/sitemap.xml | 2 +-
2 files changed, 63 insertions(+), 4 deletions(-)
diff --git a/content/documentation/fuseki2/fuseki-configuration.html b/content/documentation/fuseki2/fuseki-configuration.html
index 186be1a..af71132 100644
--- a/content/documentation/fuseki2/fuseki-configuration.html
+++ b/content/documentation/fuseki2/fuseki-configuration.html
@@ -272,10 +272,69 @@ graph of data.</p>
## tdb:unionDefaultGraph true ;
.
</code></pre>
+<h4 id="tdb2">TDB2</h4>
+<pre><code><#dataset> rdf:type tdb:DatasetTDB2 ;
+ tdb:location "/some/path" ;
+ # this can also have unionDefaultGraph, etc.
+ .
+</code></pre>
<h4 id="inference">Inference</h4>
-<blockquote>
-<p>@@</p>
-</blockquote>
+<p>An inference reasoner can be layered on top of a dataset as defined above. The type of reasoner must be selected carefully and should not include more reasoning than is required by the application, as extensive reasoning can be detrimental to performance.</p>
+<p>You have to build up layers of dataset, inference model, and graph.</p>
+<pre><code><#dataset> rdf:type ja:RDFDataset;
+ ja:defaultGraph <#inferenceModel>
+ .
+
+<#inferenceModel> rdf:type ja:InfModel;
+ ja:reasoner [ ja:reasonerURL <http://example/someReasonerURLHere> ];
+ ja:baseModel <#baseModel>;
+ .
+<#baseModel> rdf:type tdb:GraphTDB2; # for example.
+ tdb2:location "/some/path/to/store/data/to";
+ # etc
+ .
+</code></pre>
+<h5 id="possible-reasoners">Possible reasoners:</h5>
+<ul>
+<li>
+<p><strong>Generic Rule Reasoner</strong>: <code>http://jena.hpl.hp.com/2003/GenericRuleReasoner</code></p>
+<p>The specific rule set and mode configuration can be set either be method calls to the created reasoner or though parameters in the configuration Model.</p>
+</li>
+<li>
+<p><strong>Transitive Reasoner</strong>: <code>http://jena.hpl.hp.com/2003/TransitiveReasoner</code></p>
+<p>A simple “reasoner” used to help with API development.</p>
+<p>This reasoner caches a transitive closure of the subClass and subProperty graphs. The generated infGraph allows both the direct and closed versions of these properties to be retrieved. The cache is built when the tbox is bound in but if the final data graph contains additional subProperty/subClass declarations then the cache has to be rebuilt.</p>
+<p>The triples in the tbox (if present) will also be included in any query. Any of tbox or data graph are allowed to be null.</p>
+</li>
+<li>
+<p><strong>RDFS Rule Reasoner</strong>: <code>http://jena.hpl.hp.com/2003/RDFSExptRuleReasoner</code></p>
+<p>A full implementation of RDFS reasoning using a hybrid rule system, together with optimized subclass/subproperty closure using the transitive graph caches. Implements the container membership property rules using an optional data scanning hook. Implements datatype range validation.</p>
+</li>
+<li>
+<p><strong>Full OWL Reasoner</strong>: <code>http://jena.hpl.hp.com/2003/OWLFBRuleReasoner</code></p>
+<p>A hybrid forward/backward implementation of the OWL closure rules.</p>
+</li>
+<li>
+<p><strong>Mini OWL Reasoner</strong>: <code>http://jena.hpl.hp.com/2003/OWLMiniFBRuleReasoner</code></p>
+<p>Key limitations over the normal OWL configuration are:</p>
+<ul>
+<li>omits the someValuesFrom => bNode entailments</li>
+<li>avoids any guard clauses which would break the find() contract</li>
+<li>omits inheritance of range implications for XSD datatype ranges</li>
+</ul>
+</li>
+<li>
+<p><strong>Micro OWL Reasoner</strong>: <code>http://jena.hpl.hp.com/2003/OWLMicroFBRuleReasoner</code></p>
+<p>This only supports:</p>
+<ul>
+<li>RDFS entailments</li>
+<li>basic OWL axioms like ObjectProperty subClassOf Property</li>
+<li>intersectionOf, equivalentClass and forward implication of unionOf sufficient for traversal of explicit class hierarchies</li>
+<li>Property axioms (inverseOf, SymmetricProperty, TransitiveProperty, equivalentProperty)</li>
+</ul>
+<p>There is some experimental support for the cheaper class restriction handlingly which should not be relied on at this point.</p>
+</li>
+</ul>
<h2 id="server-configuration">Server Configuration</h2>
<p>If you need to load additional classes, or set global parameters, then these go in
<code>FUSEKI_BASE/config.ttl</code>.</p>
diff --git a/content/sitemap.xml b/content/sitemap.xml
index fc0562c..e1c6423 100644
--- a/content/sitemap.xml
+++ b/content/sitemap.xml
@@ -374,7 +374,7 @@
<url>
<loc>https://jena.apache.org/documentation/fuseki2/fuseki-configuration.html</loc>
- <lastmod>2020-02-28T13:09:12+01:00</lastmod>
+ <lastmod>2020-05-02T17:37:46-07:00</lastmod>
</url>
<url>