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)