Finally achieve logical inference through racer.

• 通过racer完成本体逻辑推理任务。