Examples

To play with an example, open it with Cogui
examplePaperICCS2010.cogxml (in English and French)
This is the basic example used in the paper published at ICCS 2010: "Translations between RDF(S) and Conceptual Graphs" by Baget, Croitoru, Gutierrez, Leclere and Mugnier.
finalExampleOfTutorial.cogxml (in English)
This is the final example of the tutorial. It contains facts, queries and rules.
childhood.cogxml (in English)
This is a very simple introductory example (i.e. without nestings, explicit coreference links, modules, patterns …) dealing with common sense knowledge concerning children playing.
Some peculiarities of this example:
The concept type hierarchy is a partial order but is not a tree.
The relation hierarchy contains unary, binary and ternary relations. Relations of any arity greater than 0 can be considered.

The graph G1.2 contains a cycle (it represents the following fact « a girl and a child are playing with the same toy, and the girl is a relative of the boy »).
A conceptual graph may contain any number of cycles, cf. the graph 2.5 which is more complex than G1.2. H2.4 contains parallel edges (the relation vertex corresponds to a reflexive verb).
A graph is not necessarily connected, e.g. H1.3 is disconnected.

Let us consider the «query facts» task. Using G1.2 as a query (you can copy/paste from the fact to the query wizard) and ticking only K1.2 into the set_1 of facts you see that there is a projection (homomorphism) from G1.2 to K1.2. It means that K1.2 is an answer to G1.2 (equivalently, K1.2 is a specialization of G1.2 and G1.2 is a generalization of K1.2) . There is also a projection from H1.3 to K1.2. H2.9 and K2.9 are also two specializations of G2.9. Cogui compute all projections from the query graph to the fact graphs. There are two projections from G2.10 to H2.10. Note that a projection is not necessarily injective (i.e., one-to-one) nor surjective.

The set of rules contains three rules. Try a query search in set_1 with the query Q1 in set_2 with and without using the rules. There is no answer without the rules and there is one answer with rule1.
Bucolic.cogxml (in English and French)
This small example illustrates nested graphs: «a person is thinking of the painting A, which represents a bucolic scene (first nesting), which can be described as follows: there is a couple in a boat on a lake (second nesting); this couple is composed (third nesting) of a person who is fishing truts in this lake and of a person who is sleeping (and this person is the same as the person who is thinking of the painting)».
More examples to come...