Hermit: OWL推理机

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

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

Données et ressources

Info additionnelle

Champ Valeur
Source http://www.hermit-reasoner.com/
Producteur Boris Motik, Rob Shearer, Birte Glimm, Giorgos Stoilos, Ian Horrocks
Version 1.3.8
Dernière modification mars 22, 2017, 13:40 (TU)
Créé le mars 22, 2017, 13:40 (TU)