本体论——为什么Protege中的pellet不能一次推断出所有公理？
相关标签：
我使用pellet对下面的家族本体进行推理，并将所有推理的公理导出到一个新的家族本体，然后在新的本体上推理，发现新的公理被推理。完整性不是由小球推理保证的吗？
正文不超过30000个字符；家族本体包含149200个字符。143KB家族是最初的本体论；202KB的本体是导出的本体，包含由pellet一次推断出的公理；516KB的本体是导出的本体，包含由pellet推断两次的公理（在202KB的本体上推断）。
家庭下载链接：143KB
家庭1的下载链接：202KB
家庭2的下载链接：516KB
特别声明：以上内容（图片及文字）均为互联网收集或者用户上传发布，本站仅提供信息存储服务！如有侵权或有涉及法律问题请联系我们。
举报
