很好的推理工具,能够在本体应用中发挥很好的作用