protege中使用推理机

《Protege新手入门(推理篇)》里推荐的推理机是RacerPro。但是我很悲催地发现它竟然是付费使用。虽然有免费使用到10月份的版本，但是下载下来却不会用。另外也有学生版的可以使用到明年4月份，但是申请步骤非常繁琐。

正在痛苦之时，意外发现我使用的protege3.4.7里自带了一个推理机Pellet1.5.2。虽然目前不清楚它和RacerPro差距在哪里，但是起码解决了我现在的问题。

由此得出一则小经验就是推荐虽好，但并不总是最实用。在学习中探索发现新方法才是硬道理！