Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
description logic
|
| gptkbp:hasFeature |
decidability
high expressivity |
| https://www.w3.org/2000/01/rdf-schema#label |
SROIQ(D)
|
| gptkbp:is_basis_for |
gptkb:OWL_2_DL
|
| gptkbp:is_extension_of |
SROIQ
|
| gptkbp:supports |
datatypes
qualified cardinality restrictions role hierarchies nominals complex role inclusion axioms role chains role inverses role transitivity |
| gptkbp:used_in |
gptkb:knowledge_representation
semantic web ontology languages |
| gptkbp:was_introduced_in |
2006
|
| gptkbp:bfsParent |
gptkb:OWL_2_DL
|
| gptkbp:bfsLayer |
7
|