网上有protege的基础教程,这是整理后的

这是protege的推理机，可以用于本体推理。很多人找，放在这儿共享啦。