Classical description logic cannot model non-crisp knowledge, and fuzzy and probabilistic DL extensions substantially increase reasoning complexity, limiting practical use¶

Claim · All claims
Evidence · 1 study (2 entries) · theoretical r2–r3 · q1
Currency · newest study 2026 · not yet checked against its sources · not reviewed by a person · recheck by 2029: tool and model accuracy changes quickly

Subclaims¶

Reading the evidence codes

q is the design tier, i the impact, n the sample, and the kind with its r the rigour judged within that kind: what each code means.

This claim: no standardized effect is recorded in observations/ for it yet, so no benchmark reading is possible.

q1 i? Classical DL is restricted to crisp knowledge representation, preventing direct modeling of vagueness, uncertainty, or partial truth. → Tatyana Ivanova 2026 q1 i? Fuzzy reasoning over large ontologies becomes inefficient due to high computational complexity, and probabilistic DLs significantly increase reasoning complexity compared with corresponding crisp DLs. → Tatyana Ivanova 2026 (2)

Evidence¶

Tatyana Ivanova 2026¶

Tatyana Ivanova. (2026). Ontology-Based Layered Hybrid AI-Driven Knowledge Model for Personalized E-Learning. Mathematics 2026, 14, 808. https://doi.org/10.3390/math14050808

q1 · i? · theoretical · r2

Analytical statement in the article's section on description logic and ontologies, explaining why fuzzy and probabilistic DL extensions exist. No empirical data are reported.

"One of the main limitations of classical Description Logics lies in their restriction to crisp knowledge representation, where assertions are either completely true or completely false, thus preventing the direct modeling of vagueness, uncertainty, or partial truth."

Tatyana Ivanova 2026 (2)¶

Tatyana Ivanova. (2026). Ontology-Based Layered Hybrid AI-Driven Knowledge Model for Personalized E-Learning. Mathematics 2026, 14, 808. https://doi.org/10.3390/math14050808

q1 · i? · theoretical · r3

The article's assessment of fuzzy DL tooling and scalability in its fuzzy DL section, which also notes that most practical ontology-based systems prefer crisp ontologies because few fuzzy tools are standardized, optimized, and well supported. The article separately states that "Probabilistic DLs significantly increase reasoning complexity in comparison to its corresponding crisp DLs."

"Usually, fuzzy reasoning over large ontologies becomes inefficient because of the high (exponential or higher) computational complexity."

Discussion¶

Fuzzy time series forecasting beats nonlinear regression when only a quadratic term is included, but loses when a cubic term is included — related
Educational ontologies are rarely used in practical e-learning platforms, mainly due to cost, complexity, integration, performance, and scalability problems, which ontology reuse can partially overcome
Existing deep sequential knowledge tracing encoders treat concept nodes as isolated deterministic vectors, limiting handling of structural sparsity and epistemic uncertainty — related

Page metadata

Field	Value
`type`	`claim`
`id`	`dl-crisp-limitation-fuzzy-probabilistic-complexity`
`title`	`Classical description logic cannot model non-crisp knowledge, and fuzzy and probabilistic DL extensions substantially increase reasoning complexity, limiting practical use`
`description`	`Classical description logic cannot model non-crisp knowledge, and fuzzy and probabilistic DL extensions substantially increase reasoning complexity, limiting practical use`
`status`	`review`
`evidence_strength`	`weak`
`newest_evidence`	`2026`
`recheck_by`	`2029`
`generated`	by `process:wiki-ingest` on `2026-10-12`
`trust`	unverified — no one has confirmed this page's content
`sources`	2 — `tatyana-ivanova-2026`, `tatyana-ivanova-2026-2`

Frontmatter is the page's machine-readable record — see the Schema & Guide.