Applying rules
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?