Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Description_logic
|
| gptkbp:basisFor |
gptkb:OWL_DL
|
| gptkbp:complexity |
ExpTime-complete
|
| gptkbp:extendsTo |
gptkb:ALC
|
| gptkbp:hasFeature |
role hierarchies
inverse roles qualified number restrictions transitive roles |
| gptkbp:introducedIn |
1999
|
| gptkbp:studiedIn |
gptkb:artificial_intelligence
gptkb:knowledge_representation |
| gptkbp:usedIn |
semantic web
|
| gptkbp:bfsParent |
gptkb:RacerPro
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
SHIQ
|