GraphDB-Lite Reasoner

compared with
Version 6 by Reneta Popova
on Aug 22, 2014 14:31.

Key
This line was removed.
This word was removed. This word was added.
This line was added.

Changes (1)

View Page History
As can be seen, the last two variants are identical apart from the rotation of variables *y* and *z*, so one of these variants is not needed. The use of the *\[Cut\]* operator above tells the rule compiler to eliminate this last variant, i.e. the one beginning with the premise *x p z*.

h2. Materializsation

An GraphDB repository will use the configured rule-set to compute all inferred statements at load time. To some extent, this process increases processing cost and time taken to load a repository with a large amount of data. However, it has the desirable advantage that subsequent query evaluation can proceed extremely quickly.