A Tableaux Decision Procedure for SHOIQ

Cite this paper

@inproceedings{Horrocks2005ATD, title={A Tableaux Decision Procedure for SHOIQ}, author={Ian Horrocks and Ulrike Sattler}, booktitle={IJCAI}, year={2005} }