Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
gptkb:named_entity reasoner |
| gptkbp:canBe |
gptkb:Protégé
|
| gptkbp:developedBy |
gptkb:University_of_Oxford
|
| https://www.w3.org/2000/01/rdf-schema#label |
HermiT
|
| gptkbp:implementedIn |
description logic reasoning
|
| gptkbp:latestReleaseVersion |
1.4.3.517
|
| gptkbp:license |
gptkb:LGPL
|
| gptkbp:supports |
gptkb:dictionary
gptkb:OWL_API gptkb:OWL_2 query answering consistency checking realization |
| gptkbp:usedFor |
ontology reasoning
|
| gptkbp:usedIn |
semantic web applications
|
| gptkbp:website |
http://www.hermit-reasoner.com/
|
| gptkbp:writtenBy |
gptkb:Java
|
| gptkbp:bfsParent |
gptkb:OWL_DL
gptkb:OWL_2 gptkb:OWL_reasoning |
| gptkbp:bfsLayer |
6
|