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