Inductive logic needs an implementation. These are things like Bayes Nets, Inference using Gibbs sampling, PSL, etc.<p>You can sorta, mostly get them to work if you have a clean graph, and are prepared to spend a long time debugging.<p>The problem is that no one has managed to get them to work well enough to be useful on dirty, web-scale knowledge graphs.