@inproceedings{Kazakov:09:CB:DL,
  title = "Consequence-Driven Reasoning for Horn {SHIQ} Ontologies",
  author = "Yevgeny Kazakov",
  year = "2009",
  address = "Oxford, United Kindgom",
  booktitle = "Proceedings of the 22nd International Workshop on Description Logics (DL 2009)",
  editor = "Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler",
  month = "July",
  publisher = "CEUR Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-477/paper_69.pdf",
  volume = "477",
}