通过动物实例使用protege的racer推理机