Proof of correctness of QueryPIE closure algorithm
Jacopo Urbani · 2011
In QueryPIE, the ti-reasoner algorithm is the one responsible to calculate the inferred results of a particular query requested from the user. Conceptually, the only difference between ti-reasoner (reported in Algorithm 1) and traditional backward-chaining is that ti-reasoner does not perform recursive inference on