Inference rules are useful. They bring declarative expressivity — stating what follows from facts rather than how to compute it. But for users, their most salient feature is that they make queries simpler and faster.
Rules on Graphs in Graphs of Rules, Part 1
Inference rules are useful. They bring declarative expressivity — stating what follows from facts rather than how to compute it. But for users, their most salient feature is that they make queries simpler and faster.