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