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