RacerPro-1-9-0-Setup的官方下载版本,适合于结合protege进行本体推理。亲测可以配合protege3.5使用,