Statements (15)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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 |
https://www.w3.org/2000/01/rdf-schema#label |
SHIQ
|
gptkbp:introducedIn |
1999
|
gptkbp:studiedIn |
gptkb:artificial_intelligence
gptkb:knowledge_representation |
gptkbp:usedIn |
semantic web
|
gptkbp:bfsParent |
gptkb:RacerPro
|
gptkbp:bfsLayer |
7
|