个人总结的protege推理工具的使用,主要的几个tab页面都已经说明清楚了