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?