Hermit: OWL推理机

OpenKG搜集和整理知识图谱相关的技术工具,并将组织开展技术评测。

HermiT是使用OWL编写的本体论的推理者。 给定一个OWL文件,HermiT可以确定本体是否一致,识别类之间的包含关系,等等。 HermiT是第一个公开可用的OWL推理器,基于一种新颖的“超高级”演算,提供比任何以前已知的算法更有效的推理。 以前需要几分钟或几小时进行分类的本体通常可以通过HermiT分类为秒,并且HermiT是能够对一些本体进行分类的第一推理器,这些本体以前被证明对于任何可用系统来说太复杂。

数据与资源

其他信息

价值
http://www.hermit-reasoner.com/
作者 Boris Motik, Rob Shearer, Birte Glimm, Giorgos Stoilos, Ian Horrocks
版本 1.3.8
最近更新 三月 22,2017,21:40(Asia/Shanghai)
创建的 三月 22,2017,16:34(Asia/Shanghai)