Cogui - Inspecting Facts v2.0

Graphs measurement
Redundancy
Classification
Consistency

Graph measurement

The "Reasoning/Analyse facts" menu action launches a wizard which provides informations on graphs, on their structure and size:

• the number of connected components
• the size of the graph individuals/concepts/relations
• the degree of the vertices min, max and average
• is it normalized ?

Redundancy

Another important property of the graph is the irredundancy of the facts. A redundant graph can trigger a positive constraint violation when irredundant form will not.
Detecting and computing redundancies can be an heavy operation, the wizard doesn't automatically provide it.
Click on button to run algorithm. Cogui use Cogitant  to detect if a graph is redundant. If redundancies exist, they can be edited to eliminate redundant parts of the graph.

Classification

Facts can be analysed individually, they can also be compared This is the purpose of the classification wizard.
Open first wizard panel by menu action "Reasoning/Classify facts" and select a set of facts to compare.

selection panel

classification graph viewer

Cogui builds a graph with where vertices represent fact graphs and arcs represent the subsumption relations.
example interpretation:

• graph shows that _graph3 have a least one projection into _graph2.
• graph _g1 is an empty graph that why every graphs subsume it.
• _graph3 and _graph7 belongs to the same strongly connected component, it means that they are equivalent (but not equals if they are redundants).

Check consistency

Constraints can be created to validate knowledge i.e. to check its consistency. Cogui provides a wizard to select constraints and check consistency of a set of facts.
There is two kind of constraints positive and negative constraint