jena-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From a...@apache.org
Subject svn commit: r1833300 - /jena/site/trunk/content/documentation/inference/index.mdtext
Date Sun, 10 Jun 2018 20:08:13 GMT
Author: andy
Date: Sun Jun 10 20:08:13 2018
New Revision: 1833300

URL: http://svn.apache.org/viewvc?rev=1833300&view=rev
Log:
CMS diffs

Modified:
    jena/site/trunk/content/documentation/inference/index.mdtext

Modified: jena/site/trunk/content/documentation/inference/index.mdtext
URL: http://svn.apache.org/viewvc/jena/site/trunk/content/documentation/inference/index.mdtext?rev=1833300&r1=1833299&r2=1833300&view=diff
==============================================================================
--- jena/site/trunk/content/documentation/inference/index.mdtext (original)
+++ jena/site/trunk/content/documentation/inference/index.mdtext Sun Jun 10 20:08:13 2018
@@ -1780,7 +1780,11 @@ floating point or XSDDateTime).</div>
       <div align="left">Remove the statement (triple) which caused the n'th body
         term of this (forward-only) rule to match. Remove will propagate the
         change to other consequent rules including the firing rule (which must
-        thus be guarded by some other clauses). Drop will silently remove the
+        thus be guarded by some other clauses).
+        In particular, if the removed statement (triple) appears in the body of
+        a rule that has already fired, the consequences of such rule are
+        retracted from the deducted model.
+         Drop will silently remove the
         triple(s) from the graph but not fire any rules as a consequence.
         These are clearly non-monotonic operations and, in particular, the
         behaviour of a rule set in which different rules both drop and create the



Mime
View raw message