cogui tutorial slides - facts [mode de compatibilité]
TRANSCRIPT
![Page 1: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/1.jpg)
COGUI TUTORIALFacts
![Page 2: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/2.jpg)
FACT GRAPHS
![Page 3: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/3.jpg)
A BG FACT IS COMPOSED OF:
The concept nodes representing entities labeled by p p g yConcept types (vocabulary) and Either the generic marker (*) or an individual marker
Th l i d i l i hiThe relation nodes representing relationships between these entities labeled by relation types(vocabulary)( y)
![Page 4: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/4.jpg)
EXAMPLEThere are entities (represented by(represented by rectangles): Mary, who is a Woman, Alice who is a Girl and Bob whois a Girl and Bob who is a ManThere are relations ( t d b l )(represented by ovals) between the entities: a relation asserting that M i th th OfMary is the motherOfAlice and a relation asserting that Mary is
i dT B bmarriedTo Bob.
![Page 5: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/5.jpg)
SUMMING AND NORMALIZING BGS
The sum of two BGs comes down to summing two ggraphs (the resulting graph has the union set of vertices and edges)T t d h i th i di id lTwo concept nodes having the same individual marker represent the same entity and then can be merged into one concept (normalization):
A BG is called normal if there is at most one individual concept with a given marker
![Page 6: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/6.jpg)
THE BG MODEL - SEMANTICS
Vocabulary: yA predicate is assigned to each type (unary predicate to a concept type and a k-ary predicate to a k-ary relation type)type)A constant is assigned to each individual markerTranslating the specialization relation:
Facts being assigned the existentially closed formulae:
)),(),(()),()(( yxrelativeOfyxsisterOfyxxChildxGirlx →∀∀→∀
formulae:)),()()(( yxsisterOfyBoyxGirlyx ∧∧∃∃
![Page 7: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/7.jpg)
HOMOMORPHISM (“PROJECTION”)
A homomorphism from a BG G to a BG H is a pmapping from the nodes of G to the nodes of H, which preserves the relationships between the entities of G and may specialize the labels ofentities of G and may specialize the labels of entities and relationships.
![Page 8: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/8.jpg)
HOMOMORPHISM
Sound and complete with respect to logicalp p gdeductionIf there is a homomorphism from G to H we say that H t il GH entails GBasic Conceptual Graphs correspond to the existential, positive and conjunctive fragment ofexistential, positive and conjunctive fragment of First Order Logic
![Page 9: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/9.jpg)
QUERY ANSWERING
A knowledge base composed of a vocabulary and g p yset of BGsA query: itself a BGElements answering the query: elements of the knowledge base that entail the query:
Yes/No question: Is the knowledge represented by theYes/No question: Is the knowledge represented by the query asserted by the Knowledge Base?Pattern allowing to extract knowledge from the Knowledge Base: each homomorphism from the queryKnowledge Base: each homomorphism from the query to the knowledge base defines an answer to the query
![Page 10: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/10.jpg)
IRREDUNDANT GRAPHS
Two graphs G and H are hom-equivalent if there is g p qa hom from G to H and a hom from H to GA BG is called redundant if it is hom-equivalent to
f it t i t b h Oth i it i ll done f its strict subgraphs. Otherwise it is called irredundant.
![Page 11: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/11.jpg)
EDITING FACT GRAPHS IN COGUI
![Page 12: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/12.jpg)
OPEN THE TUTORIAL-STEP2.COGXML FILE ANDSELECT FACTS UNDER PROJECT
![Page 13: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/13.jpg)
UNDER DEFAULT_SET OF FACTS THERE ISALREADY A _G1 FACT THAT CAN BE EDITED
![Page 14: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/14.jpg)
TO INSERT A CONCEPT NODE IN A FACT USETHE GRAPH EDITOR AND CLICK ON CONCEPT
![Page 15: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/15.jpg)
THE TYPE OF A ADDED CONCEPT IS BY DEFAULTTHE UPPER MOST TYPE IN THE HIERARCHY – TOMODIFY RIGHT CLICK AND EDIT
![Page 16: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/16.jpg)
VIEW AND SELECT THE APPROPRIATECONCEPT TYPE IN THE HIERARCHY
![Page 17: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/17.jpg)
TO ADD AN INDIVIDUAL MARKER TO A CONCEPTJUST TYPE THE NAME OF THE INDIVIDUAL
![Page 18: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/18.jpg)
A CONCEPT NODE PART OF A FACT
![Page 19: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/19.jpg)
TO ADD A CONCEPT NODE WITH AN INDIVIDUALMARKER ALTERNATIVELY DRAG AND DROP FROMMARKER, ALTERNATIVELY, DRAG AND DROP FROMTHE INDIVIDUALS VIEW TO THE FACT EDITOR
![Page 20: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/20.jpg)
TO ENTER A CONCEPT NODE OF A GIVEN TYPEDRAG AND DROP THE CONCEPT FROM THE TREEVIEW OF THE VOCABULARY
![Page 21: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/21.jpg)
TO ADD AN INDIVIDUAL MARKER TO A CONCEPTNODE YOU CAN ALSO SELECT THE INDIVIDUAL FROMTHE INDIVIDUALS LIST
![Page 22: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/22.jpg)
IF THE INDIVIDUAL IS NOT IN THE LIST DO NOTPANIC!
![Page 23: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/23.jpg)
EDIT CONCEPT TO ENTER THE INDIVIDUAL BYHAND
![Page 24: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/24.jpg)
SIMPLY WRITE THE NAME OF THE INDIVIDUAL
![Page 25: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/25.jpg)
ONCE YOU WRITE THE NAME OF THE INDIVIDUAL INTHE CONCEPT NODE, THE INDIVIDUAL WILL APPEARIN THE INDIVIDUAL LIST TOO
![Page 26: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/26.jpg)
TO ADD A RELATION DRAG AND DROP THE RELATIONFROM THE TREE VIEW OF THE VOCABULARY
![Page 27: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/27.jpg)
TO LINK THE RELATION TO DESIRED CONCEPTSTO LINK THE RELATION TO DESIRED CONCEPTSCLICK THE MIDDLE OF THE RELATION NODE THENDRAG AND DROP THE EDGE TOWARDS CONCEPTS
![Page 28: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/28.jpg)
TO CHANGE THE APPEARANCE OF EDGES INTHE FACT GRAPH GO TO PREFERENCES
![Page 29: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/29.jpg)
IN GENERAL OPTIONS SELECT FACT GRAPHSEDITOR PREFERENCES
![Page 30: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/30.jpg)
UNSELECT HIDE EDGE NUMBERS
![Page 31: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/31.jpg)
TO APPLY THE CHANGES TO YOUR GRAPH YOUHAVE TO REFRESH THE GRAPH VIEW
![Page 32: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/32.jpg)
THE EDGES ARE NOW NUMBERED
![Page 33: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/33.jpg)
ADD A NEW RELATION TO THE GRAPH AND DRAGAND DROP FROM THE MIDDLE OF THE RELATION TOTHE EMPTY SCREEN TO CREATE CONCEPTS
![Page 34: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/34.jpg)
THE ADDED CONCEPT WILL HAVE THE TYPECORRESPONDING TO THE RELATION SIGNATURE –REFINE IT BY RIGHT CLICK AND EDIT CONCEPT
![Page 35: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/35.jpg)
WHEN YOU ARE HAPPY WITH YOUR FACT RIGHTCLICK ON THE NAME BY DEFAULT OF THE FACT
![Page 36: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/36.jpg)
RENAME YOUR FACT GRAPH ACCORDINGLY
![Page 37: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/37.jpg)
DO NOT FORGET TO VALIDATE YOUR FACTGRAPHS
![Page 38: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/38.jpg)
FOLLOW THE INSTRUCTIONS AFTER YOUVALIDATED YOUR GRAPH
![Page 39: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/39.jpg)
TO CREATE A NEW FACT RIGHT CLICK ONDEFAULT SET AND SELECT NEW FACT
![Page 40: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/40.jpg)
YOU CAN NAME YOUR GRAPH AFTER YOUCREATED IT
![Page 41: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/41.jpg)
A FACT GRAPH CAN CONSIST OF A SINGLECONCEPT NODE (BUT NOT A SINGLE RELATIONNODE)
![Page 42: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/42.jpg)
CLICK ON REASONING FOR OPERATIONS ONTHE FACTS
![Page 43: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/43.jpg)
TO CLASSIFY FACTS SELECT CLASSIFY FACTS
![Page 44: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/44.jpg)
THE GRAPH CLASSIFICATION WINDOW IS OPEN
![Page 45: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/45.jpg)
SELECT ALL YOUR FACT GRAPHS FORCLASSIFICATION
![Page 46: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/46.jpg)
WHEN THE FACT GRAPHS YOU WANT TOCLASSIFY ARE SELECTED CLICK NEXT
![Page 47: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/47.jpg)
THE GRAPHS ARE SHOWN IN THEIRGENERALIZATION / SPECIALIZATION HIERARCHY
![Page 48: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/48.jpg)
TO CLOSE THE GRAPH CLASSIFICATIONWINDOW, RIGHT CLICK THEN SELECT CLOSE
![Page 49: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/49.jpg)
TO ANALYZE FACTS SELECT REASONING THENANALYZE FACTS
![Page 50: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/50.jpg)
THE ANALYZE FACTS WINDOW IS NOW OPEN
![Page 51: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/51.jpg)
SELECT EACH GRAPH YOU WANT TO ANALYZE ONEBY ONE AND FIND THE REQUIRED INFORMATION ONTHE RIGHT
![Page 52: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/52.jpg)
YOU CAN ALSO CHECK IF A GRAPH ISREDUNDANT
![Page 53: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/53.jpg)
ATTENTION: THE REDUNDANCY CHECKINGIS DIFFERENT IN THE NEW VERSION
![Page 54: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/54.jpg)
TO SUM (AND NORMALIZE) FACTS SELECTREASONING THEN SUM AND NORMALIZE FACTS
![Page 55: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/55.jpg)
THE SUM AND NORMALIZE WINDOW IS OPEN
![Page 56: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/56.jpg)
SELECT ALL THE GRAPHS YOU WANT TO SUM
![Page 57: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/57.jpg)
KEEP NORMALIZED CHECKED WHEN DOINGTHE SUM
![Page 58: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/58.jpg)
CLICK ON SUM
![Page 59: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/59.jpg)
THE RESULT GRAPH IS DISPLAYED IN THERESULTS WINDOW
![Page 60: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/60.jpg)
DOUBLE CLICK ON THE RESULT GRAPH
![Page 61: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/61.jpg)
IN ORDER TO BETTER VISUALIZE THE GRAPHCLICK ON ARRANGE GRAPH
![Page 62: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/62.jpg)
BECAUSE YOU NORMALIZED THE SUM GRAPH THENODES WOMAN:MARY HAVE BEEN MERGED
![Page 63: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/63.jpg)
IF YOU DO NOT CHECK NORMALIZE
![Page 64: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/64.jpg)
AND THEN CLICK SUM
![Page 65: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/65.jpg)
SIMILARLY THE RESULT GRAPH IS SHOWED INTHE RESULTS WINDOW
![Page 66: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/66.jpg)
SINCE THE GRAPH WAS NOT NORMALIZED AFTERTHE SUM THERE ARE TWO CONCEPTSWOMAN: MARY
![Page 67: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/67.jpg)
TO QUERY THE KNOWLEDGE BASE SELECTREASONING, QUERY FACTS
![Page 68: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/68.jpg)
THE QUERY FACTS WINDOW IS OPEN
![Page 69: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/69.jpg)
TO QUERY YOU WILL NEED TO CREATE A NEWQUERY
![Page 70: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/70.jpg)
TO CREATE A QUERY GO TO PROJECT > QUERIESAND RIGHT CLICK ON THE DEFAULT QUERY SET
![Page 71: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/71.jpg)
THE QUERY IS A BG – IS BUILT JUST LIKE AFACT GRAPH
![Page 72: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/72.jpg)
AFTER WRITING THE QUERY SELECT THEQUERY FACTS WINDOW
![Page 73: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/73.jpg)
SELECT THE QUERY YOU WANT TO ASK
![Page 74: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/74.jpg)
SELECT THE FACTS THAT YOU WANT TO USETO ANSWER THE QUERY
![Page 75: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/75.jpg)
CLICK NEXT TO FIND THE HOMOMORPHISMS OF THEQUERY IN THE SELECTED FACTS
![Page 76: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/76.jpg)
IN THE RESULTS WINDOW YOU CAN SEE THEHOMOMORPHISMS (PROJECTIONS) OF THE QUERYIN THE FACT GRAPHS
![Page 77: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/77.jpg)
SELECT ONE RESULT TO VIEW THEPROJECTION
![Page 78: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/78.jpg)
IF YOU ONLY INTERESTED TO SEE THE IMAGE OFTHE QUERY USE THE VISUAL NAVIGATOR
![Page 79: Cogui Tutorial Slides - Facts [Mode de compatibilité]](https://reader031.vdocuments.net/reader031/viewer/2022012421/617635f7161b827e9770f188/html5/thumbnails/79.jpg)
THE VISUAL NAVIGATOR ONLY ALLOWS YOU TO SEETHE IMAGES OF THE PROJECTION