@InProceedings{HorrSattTob-CADE-2000,
  author = 	 {I. Horrocks and U. Sattler and S. Tobies},
  title = 	 {Reasoning with Individuals for the Description Logic SHIQ},
  booktitle = 	 {Proceedings of the 17th International Conference on Automated Deduction {(CADE-17)}},
  year =	 2000,
  editor =	 {David MacAllester},
  series =	 {Lecture Notes in Computer Science},
  address =	 {Germany},
  publisher =	 {Springer Verlag},
  number = 1831,
  springer = yes
}