Semantic Graph, Gql, Graph Theory, Knowledge, Ontology.
salesman problem (<= Find the shortest path in a graph that visits each vertex at least once, starting and ending at the same vertex?), the planar graph (Is it possible to draw the edges of a graph in such a way that edges do not cross?), the four coloring problem (<= Is it possible to color the