Personal Knowledge Graphs, Ontology, Datalog, AI.
output relation reachable reachable(x, y):- edge(x, y). // base rule reachable(x, z):- edge(x, y), reachable(y, z). // inductive rule Entities modeling I love datalogs because of their recursive and declarative nature and because you will find graph examples in every Datalog article. A powerful and