Personal Knowledge Graphs, Ontology, Datalog, AI.
overlooked feature is ontologies and entity relations. Let's pick an example from my previous article and try to model it in souffle. Heterogeneous graphs contain different types of nodes and relations, which creates another challenge: describing constraints on relations and nodes. So we have