Facts can be analyzed individually, they can also be compared This is the purpose of the classification wizard.

Tools/Reasoning sub-menu provide a wizard to compute a classification between facts of the project:


Select facts to compare:

Classification graph viewer:


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

  • graph shows that wine_graph2 have a least one projection into wine_graph4.
  • graph fact_1 is an empty graph that why every graphs subsume it.
  • wine_graph4, wine_graph5 and wine_graph7 belongs to the same strongly connected component, it means that they are equivalent (but not equals if they are redundant).

Created with the Personal Edition of HelpNDoc: Easily create Help documents