Clone URL (Committers only): https://cms.apache.org/redirect?new=anonymous;action=diff;uri=http://jena.apache.org/documentation%2Finference%2Findex.mdtext
Nicoletta Fornara [email protected] Index: trunk/content/documentation/inference/index.mdtext =================================================================== --- trunk/content/documentation/inference/index.mdtext (revision 1825335) +++ trunk/content/documentation/inference/index.mdtext (working copy) @@ -1780,7 +1780,9 @@ <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 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
