@inproceedings{Kazakov:08:SROIQ:KR,
  author = "Yevgeny Kazakov",
  booktitle = "KR 2008",
  note = "To appear",
  title = "RIQ and SROIQ are Harder than SHOIQ",
  year = "2008",
}