Hermit: OWL推理机

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

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

データとリソース

Hermit官网java _{【下载量：615】}
探索
- より多くの情報
- リソースへ行く

追加情報

フィールド	値
ソース	http://www.hermit-reasoner.com/
作成者	Boris Motik, Rob Shearer, Birte Glimm, Giorgos Stoilos, Ian Horrocks
バージョン	1.3.8
最終更新	3月 22, 2017, 13:40 (UTC)
作成日	3月 22, 2017, 13:40 (UTC)