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的用法了。