For now cogui only implements forward chaining technique and applies rules to the facts in order to produce new facts. The rule assistant helps to apply a selected set of rules to a graph. This operation can be launched for saturation or followed and visualized step by step. The new resulting graph can be added to the knowledge base.

Select a unique graph

Select rules to apply

The wizard opens a windows to command and visualize rules application step by step:

If you want to save the resulting graph at any step of the saturation process, you can use the Datalog+ Factory (see section To/From Datalog+ )

Created with the Personal Edition of HelpNDoc: What is a Help Authoring tool?