Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:reasoner_software
|
| gptkbp:citation |
Konclude: System Description, International Workshop on Description Logics, 2013
|
| gptkbp:developer |
gptkb:Thomas_Schneider
gptkb:Sebastian_Rudolph Birte Glimm Dennis H. Worm |
| gptkbp:feature |
gptkb:graphical_user_interface
high-performance reasoning support for OWLlink protocol support for SPARQL-DL support for large ontologies support for standard reasoning tasks |
| gptkbp:latestReleaseVersion |
2022-03-01
0.7.0 |
| gptkbp:license |
gptkb:GPLv3
|
| gptkbp:operatingSystem |
gptkb:Windows
gptkb:Linux |
| gptkbp:programmingLanguage |
gptkb:C++
|
| gptkbp:supports |
gptkb:Description_Logics
gptkb:OWL_2_DL |
| gptkbp:uses |
semantic web
ontology reasoning |
| gptkbp:website |
https://www.kr.tuwien.ac.at/research/systems/konclude/
|
| gptkbp:bfsParent |
gptkb:OWL_2_DL
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Konclude
|