2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/125804A worst-case ExpTime tableau-based decision procedure is outlined for the satisfiability problem in $\mathcal{ALCQI}$ w.r.t. general axioms.This paper is submitted in 2007Logic in Computer Sciencetext