Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
description logic
|
| gptkbp:basisFor |
gptkb:OWL_DL
|
| gptkbp:complexity |
NExpTime-complete
|
| gptkbp:extendsTo |
gptkb:SHOIQ
|
| gptkbp:hasFeature |
role hierarchies
inverse roles nominals number restrictions transitive roles |
| gptkbp:hasLetterH |
role hierarchies
|
| gptkbp:hasLetterI |
inverse roles
|
| gptkbp:hasLetterN |
number restrictions
|
| gptkbp:hasLetterO |
nominals
|
| gptkbp:hasLetterS |
concepts with transitive roles
|
| gptkbp:hasSubgroup |
SROIQ
|
| https://www.w3.org/2000/01/rdf-schema#label |
SHOIN
|
| gptkbp:isDecidable |
true
|
| gptkbp:usedIn |
semantic web
|
| gptkbp:bfsParent |
gptkb:Description_Logics
|
| gptkbp:bfsLayer |
5
|