1.
aracer就是一个exe可执行文件，只要运行它，
然后再运行protege就可以进行reasoning了，
有本protege的tutorial，上面介绍还挺详细的，建议看一下。
(RACER/ProtegeOWLTutorial.pdf)
2.
racer是作为一个网络服务端存在的，protege中不会有任何显示其存在。
owl菜单中，有三个功能，绿色的check consistency，
黄色的classify taxonomy,红色的computer inferred types，都会用到racer。
类与类之间的关系，可以用classify taxonomy进行推理得出结果。
racer的使用在那本tutorial的第51页，
建议你把tutorial中的pizza联系都做一遍，几个小时吧，应该基本知道protege的用法了。