Personal Knowledge Graphs, Ontology, Datalog, AI.
terms. The term could be a fact or rule, and every term consists of a set of predicates. edge(1,3). edge(2,3) :- true. A fact is always true, so we usually see a short form of it. A Datalog program begins with an extensional database (EDB) containing ground facts. A fact database is quite close to