Personal Knowledge Graphs, Ontology, Datalog, AI.
person(p,_,_), place(o,_,_), love(p,o). So, we can define a rule as a polymorphic rules efriend(x,y) :- person(x,_,_),person(y,_,_),friend(x,y) elivein(x,y) :- person(x,_,_),place(y,_,_),livein(x,y) same for has relations ehas(x,y) :- person(x,_,_), skill(y,_,_), has(x,y) ehas(x,y) :- place(x,_,_),