...[PST97] ¹

The -result is valid only if we assume unary coding of numbers in the counting quantifiers. This is the standard assumption made by most results concerning the complexity of DLs.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... ²

The subscripted ``C'' indicates that the TBox consists of cardinality restrictions

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.