On the Efficiency of Meta-Level Inference - Ontify