Hermit官网
Datensatzbeschreibung:
OpenKG搜集和整理知识图谱相关的技术工具,并将组织开展技术评测。 HermiT是使用OWL编写的本体论的推理者。 给定一个OWL文件,HermiT可以确定本体是否一致,识别类之间的包含关系,等等。 HermiT是第一个公开可用的OWL推理器,基于一种新颖的“超高级”演算,提供比任何以前已知的算法更有效的推理。...
Quelle: Hermit: OWL推理机
Es gibt noch keine Darstellungen/Views für diese Ressource
Zusätzliche Informationen
| Feld | Wert |
|---|---|
| Daten wurden zuletzt aktualisiert | 22. März 2017 |
| Metadaten zuletzt aktualisiert | 22. März 2017 |
| Erstellt | 22. März 2017 |
| Format | java |
| Lizenz | GNU-General-Public-License-2.0 |
| Datastore active | False |
| Has views | False |
| Id | 0c3b8d41-cae7-4fec-9af6-8e705b10be11 |
| Package id | 831033b1-5db1-406f-a328-efd9258935f0 |
| Position | 0 |
| State | active |