Classification
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