The first systematically generalizable and scalable reasoning model on KG. It models one-step logic inference as triangle update on graph inspired by logic programming and formalize it under the designed GNN framework. By recursively applying triangle updates, the model could reason with logic rules of any length with strong scalability. It can also identify reasonable patterns and conduct partial reasoning with the help of auxiliary edges on graphs.
