You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@jena.apache.org by bu...@apache.org on 2014/07/30 13:09:38 UTC
svn commit: r917919 - in /websites/staging/jena/trunk/content: ./
documentation/inference/index.html
Author: buildbot
Date: Wed Jul 30 11:09:38 2014
New Revision: 917919
Log:
Staging update by buildbot for jena
Modified:
websites/staging/jena/trunk/content/ (props changed)
websites/staging/jena/trunk/content/documentation/inference/index.html
Propchange: websites/staging/jena/trunk/content/
------------------------------------------------------------------------------
--- cms:source-revision (original)
+++ cms:source-revision Wed Jul 30 11:09:38 2014
@@ -1 +1 @@
-1612541
+1614613
Modified: websites/staging/jena/trunk/content/documentation/inference/index.html
==============================================================================
--- websites/staging/jena/trunk/content/documentation/inference/index.html (original)
+++ websites/staging/jena/trunk/content/documentation/inference/index.html Wed Jul 30 11:09:38 2014
@@ -1523,7 +1523,7 @@ triple(s1, p1, o1) :- triple(sb1, pb1, o
to strict top-to-bottom execution. Essentially all ground facts are consulted
before all rule clauses but the ordering of ground facts is arbitrary.</p>
-####Tabling
+#### Tabling
<p>The LP engine supports tabling. When a goal is tabled then all previously computed
matches to that goal are recorded (memoized) and used when satisfying future
similar goals. When such a tabled goal is called and all known answers have
@@ -1620,7 +1620,7 @@ Reasoner reasoner = new GenericRuleReaso
the current working directory.<br>
</p>
-####Summary of parameters
+#### Summary of parameters
<table width="90%" border="1" cellspacing="0" cellpadding="0">
<tr>
<td width="26%"><b>Parameter</b></td>
@@ -1706,7 +1706,7 @@ Reasoner reasoner = new GenericRuleReaso
</table>
<p>[<a href="#rules">Rule index</a>] [<a href="#index">main index</a>]</p>
-###<a name="RULEbuiltins"></a>Builtin primitives
+### <a name="RULEbuiltins"></a>Builtin primitives
<p>The procedural primitives which can be called by the rules are each implemented
by a Java object stored in a registry. Additional primitives can be created
and registered - see below for more details.</p>
@@ -2121,12 +2121,12 @@ while (i.hasNext()) {
<p>There are several places at which the rule system can be extended by application
code.</p>
-####Rule syntax
+#### Rule syntax
<p>First, as mentioned earlier, the rule engines themselves only see rules in
terms of the Rule Java object. Thus applications are free to define an alternative
rule syntax so long as it can be compiled into Rule objects.</p>
-####Builtins
+#### Builtins
<p>Second, the set of procedural builtins can be extended. A builtin should implement
the <a href="/documentation/javadoc/jena/com/hp/hpl/jena/reasoner/rulesys/Builtin.html"><code>Builtin</code></a>
interface. The easiest way to achieve this is by subclassing <code><a href="/documentation/javadoc/jena/com/hp/hpl/jena/reasoner/rulesys/builtins/BaseBuiltin.html">BaseBuiltin</a></code>
@@ -2144,7 +2144,7 @@ while (i.hasNext()) {
<p>The easiest way to experiment with this is to look at the examples in the builtins
directory. </p>
-####Preprocessing hooks
+#### Preprocessing hooks
<p>The rule reasoner can optionally run a sequence of procedural preprocessing
hooks over the data at the time the inference graph is <i>prepared</i>. These
procedural hooks can be used to perform tests or translations which are slow