@article{HoSa04a,
  title = "Decidability of $\mathcal{SHIQ}$ with Complex Role Inclusion Axioms",
  author = "Ian Horrocks and Ulrike Sattler",
  year = "2004",
  issn = "09401121",
  journal = "Artificial Intelligence",
  month = "DEC",
  number = "1--2",
  pages = "79--104",
  publisher = "Elsevier",
  url = "download/2004/HoSa04a.pdf",
  volume = "160",
}