@InProceedings{HorrocksSattler-IJCAI,
  author = 	 {I. Horrocks and U. Sattler},
  title = 	 {Ontology Reasoning in the SHOQ(D) Description Logic},
  booktitle = 	 {Proceedings of the Seventeenth International Joint  Conference on Artificial  Intelligence},
  year =	 2001
}