@misc{2016arXiv160204498B,
  title = "{Extending Consequence-Based Reasoning to $\mathcal{SRIQ}$}",
  author = "Andrew Bate and Boris Motik and Bernardo {Cuenca Grau} and Franti{\v{s}}ek Siman{\v{c}\'{i}}k and Ian Horrocks",
  year = "2016",
  howpublished = "arXiv:1602.04498 [cs.AI]",
  month = "feb",
  url = "http://arxiv.org/abs/1602.04498",
}