protege版本选择问题