不知怎么protege官网下不了执行文件,我就自己从github下了源码编译,方便不想自己费神的朋友