通常，一个推理引擎可以推断几个中间事实(intermediate facts)，逐步向最终目标推进。

Typically, an inference engine infers several intermediate facts while progressing toward the final goal.

youdao

最后，我将说明如何使用Jena的推理能力从本体推断模型知识。

Finally, I'll demonstrate how Jena's reasoning capabilities can be used to infer knowledge about models from an ontology.

youdao

如果她确实有兴趣，他的推断也是说她有兴趣；或者她确实没有兴趣，而他的推断也是她不感兴趣，那么他就是做出了正确的推理。

If he infers that she is when she is in fact interested, or if he infers that she is not when she is in fact not interested, then he has made the correct inference.

youdao