Eventually, there would be a need to design functors to some sort of global knowledge graph semantics (or at least between two knowledge graphs)