Horrocks and Sattler. "Decidability of SHIQ with Complex Role Inclusion Axioms." International Joint Conference on Artificial Intelligence, 2003.
Markdown
[Horrocks and Sattler. "Decidability of SHIQ with Complex Role Inclusion Axioms." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/horrocks2003ijcai-decidability/)
BibTeX
@inproceedings{horrocks2003ijcai-decidability,
title = {{Decidability of SHIQ with Complex Role Inclusion Axioms}},
author = {Horrocks, Ian and Sattler, Ulrike},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2003},
pages = {343-348},
url = {https://mlanthology.org/ijcai/2003/horrocks2003ijcai-decidability/}
}