Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
reasoner |
| gptkbp:compatibleWith |
gptkb:Protégé
|
| gptkbp:developedBy |
gptkb:University_of_Dresden
|
| gptkbp:hasFeature |
high performance
incremental reasoning parallel reasoning |
| https://www.w3.org/2000/01/rdf-schema#label |
ELK reasoner
|
| gptkbp:implementedIn |
description logic reasoning
|
| gptkbp:license |
gptkb:GPL
|
| gptkbp:openSource |
true
|
| gptkbp:supports |
gptkb:OWL_2_EL
|
| gptkbp:usedFor |
ontology classification
ontology consistency checking |
| gptkbp:website |
https://elk.reasoner.org/
|
| gptkbp:writtenBy |
gptkb:Java
|
| gptkbp:bfsParent |
gptkb:Yevgeny_Kazakov
|
| gptkbp:bfsLayer |
8
|