Personal Knowledge Graphs, Ontology, Datalog, AI.
verify data naturally. A true superpower of datalog came with rules. Evaluation of a Datalog program creates an intensional database (IDB) containing relations with inferred facts. Datalog rules can be recursive, i.e., a rule can recursively depend on itself or another rule that depends on it.