这是领域本体构建工具protege中的推理机racer，对于研究本体构建有重要参考价值。