文件名称：HermiT-android:语义推理器 HermiT http 的 Android 端口
文件大小：3.78MB
文件格式：ZIP
更新时间：2024-07-17 15:28:01
Java
HermiT-android 语义推理器 HermiT 1.3.8 的 Android 端口 HermiT 是使用 Web Ontology Language (OWL) 编写的本体的推理器。 给定一个 OWL 文件，HermiT 可以确定本体是否一致，识别类之间的包含关系等等。 HermiT 是第一个公开可用的 OWL 推理器，它基于一种新颖的“hypertableau”演算，它提供比任何以前已知的算法更有效的推理。 以前需要几分钟或几小时才能进行分类的本体通常可以由 HermiT 在几秒钟内完成分类，而 HermiT 是第一个能够对许多本体进行分类的推理器，这些本体以前被证明过于复杂，任何可用系统都无法处理。 HermiT 使用直接语义并通过直接语义推理器的所有 OWL 2 一致性测试。 隐士 这是由 、 、 、 和基于牛津进行的研究开发的 HermiT 推理器的一个端口。 A