An ExpTime Procedure for Description Logic $\mathcalALCQI$ (Draft)
<|reference_start|>An ExpTime Procedure for Description Logic $\mathcalALCQI$ (Draft): A worst-case ExpTime tableau-based decision procedure is outlined for the satisfiability problem in $\mathcal{ALCQI}$ w.r.t. general axioms.<|reference_end|>
@article{ding2007an,
    title={An ExpTime Procedure for Description Logic $\mathcal{ALCQI}$ (Draft)},
    author={Yu Ding},
    journal={arXiv preprint arXiv:cs/0703051},
    year={2007},
    archivePrefix={arXiv},
    eprint={cs/0703051},
    primaryClass={cs.LO}
}