Semantic Graph, Gql, Graph Theory, Knowledge, Ontology.
nodes and arcs are often (name, value) pairs without associated type. Eventually, some rules can be created for constraining the labels with some solutions, such as Neo4J. I was not able to assess it, at part of non free features of the product. At this stage, and considering the different