ν.β E2 — Tarjan 2024 incremental reasoning algorithms — CLOSED 2026-05-04
Type: project
Suite: nu-beta-sota-derisking
Spike: E2
Outcome: outcome-VALIDATED-WITH-NOTE
Date: 2026-05-04
Summary
Tarjan 2024 JWS citation is HALLUCINATED. No paper “Incremental classification at scale: a survey of 2020-2024 reasoners” by Tarjan exists. Three DOIs tested: 100806→404, 100807→404, 100850→real but unrelated (Celino et al. “Procedural knowledge management in Industry 5.0”). Semantic Scholar returned 0 results. Tier 2 retrieval: 0 hits.
Hallucination diagnosis
“Tarjan” likely derives from Robert E. Tarjan’s SCC algorithm (used internally by ELK’s saturation engine). Plan-author LLM hallucinated a survey paper by associating the name with the OWL EL incremental topic.
ELK 2025 status
- ELK v0.6.0 released 2024-05-25 — most recent; no 2025 release
- Key: “Protege: incremental mode is no longer experimental” — production-grade
- OWL API 5.x support
- Incremental mode accessible only via Java OWL API (not owlready2 Python, not CLI)
Phase-1.5+ ELK-Java spike substrate
- Real algorithmic reference: Kazakov, Krötzsch, Simančík — JAIR 2014 (open access)
- Trigger: ~2K complex DL classes OR re-classify-on-write >5s
- Current baseline: 2.611s (CCO 1431 + 1 ext, n=20, Z1.5)
- Access path: Java OWL API +
OWLReasoner.flush()post-add - Estimated spike: ~1 day
Required follow-on actions
- Remove all references to “Tarjan 2024 JWS” from arch-state §13.1 Z1.5 honesty caveats + any other documentation — replace with Kazakov et al. 2014 JAIR
- Update Z1.5 T-file to note the hallucination finding
- Update Phase-1.5+ spike spec to reference Kazakov et al. 2014 JAIR + ELK v0.6.0
T-file location
/home/richardd/off-github/library/projects/inherit/T-spike-nu-beta-E2-tarjan-2024-incremental-reasoning-2026-05-04.md