@inproceedings{3140,
  title = "Consequence-Driven Reasoning for Horn {SHIQ} Ontologies",
  author = "Yevgeny Kazakov",
  year = "2009",
  booktitle = "Proceedings of the 21st International Conference on Artificial Intelligence (IJCAI 2009)",
  month = "July 11-17",
  pages = "2040-2045",
  url = "http://ijcai.org/papers09/Papers/IJCAI09-336.pdf",
}