Hermit: OWL推理机

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

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

数据与资源

Hermit官网java _{【下载量：169】}
浏览
- 前往资源

其他信息

域	价值
源	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)