这是一个非常典型的本体推理机,在本体推理中有重要应用。由于15M的文件上传限制,本资源分为两个包,这是第一个包。