Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:description_logic
|
| gptkbp:complexity |
NExpTime-complete
|
| gptkbp:developedBy |
expressive ontologies
|
| gptkbp:hasApplication |
semantic web
ontology modeling |
| gptkbp:hasFeature |
role hierarchies
inverse roles nominals qualified number restrictions transitive roles |
| gptkbp:hasSubgroup |
gptkb:SHOIN
SROIQ |
| gptkbp:hasSyntax |
ABox
RBox TBox |
| gptkbp:supports |
consistency checking
instance checking concept satisfiability subsumption checking |
| gptkbp:usedIn |
gptkb:OWL_DL
|
| gptkbp:bfsParent |
gptkb:Description_Logic
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
SHOIQ
|