HermiT OWL推理机
OWL街区的新小子
概述
HermiT是使用Web本体语言（OWL）给定一个OWL文件，HermiT可以确定本体是否一致，确定类之间的包含关系，等等。
HermiT是第一个基于新型“超表”演算的公开可用OWL推理器，该演算提供了比以往任何已知算法更高效的推理。之前需要几分钟或几小时进行分类的本体通常可以由HermiT以秒为单位进行分类，HermiT是第一个能够对许多本体进行分类的推理者，这些本体之前已经被证明过于复杂，任何可用系统都无法处理。
HermiT使用直接语义，并通过了直接语义推理器的所有OWL 2一致性测试。
我们现在已经发布了赫密特1.3.8在GNU较低通用公共许可证（LGPL）。该版本应与Java 1.5或更高版本兼容。HermiT 1.3.8使用OWL API 3.4.3，与OWL API 3.3.x、3.2.x和3.1.x向后兼容，但与OWL API 3.0.x不向后兼容。
自1.1版以来，HermiT可以处理DL-Safe规则，并且这些规则可以以功能样式或OWL API支持的其他OWL语法直接添加到输入本体中（请参阅OWL 2中规则的语法). 请注意，如果本体包含属性链或传递性公理，并且规则体中使用了复杂属性，那么使用DL-Safe规则进行推理是不完整的。
HermiT是开源的，发布于LGPL公司。所有组件和源代码都包含在版本的项目文件夹中。
使用HermiT
HermiT作为保护插件
普罗泰格4.3发布现在可以使用，并且预装了HermiT。或者，文件org.semanticweb。HermiT最新版本中的HermiT.jar复制到Protege的插件文件夹中。请注意，Protégé4.1beta（和更新的版本）适用于HermiT 1.3.x，而Protégé4.1 alpha仅适用于OWL API 3.0.0和HermiT 1.2.x。
命令行中的HermiT
HermiT为常见推理任务提供了一个命令行界面，包括分类和查询应答。
Java应用程序中的HermiT
HermiT支持OWLReasoner接口OWL公司美国石油学会并且具有对使用诸如本体之类的对象的本地支持和OWL API中的类表达式。
新闻
HermiT 1.3.8现已上市
版本1.3.8使用OWL API 3.4.3，并修复了自述文件中描述的一些错误。
HermiT夜间版可用
我们现在提供每晚生成HermiT的。这些都是实验性的，而不是保证可以工作，但对于急切等待新功能或bug-fix，值得一试。JUnit测试报告现在除非我们正处于重大变革之中，HermiT应始终通过所有测试。