In my mind, this is a more formal and categorical version of Building a knowledge graph in Logseq.