I pointed out what a knowledge graph is, that XBRL is a standard formal syntax for representing a knowledge graph, and that a financial report is a knowledge graph.
GRAILOG is a standard model for representing logic within a knowledge graph. Grailog was developed by Harold Boley. For more information see this presentation.