@inproceedings{BateMGSH16,
  title = "{Extending Consequence-Based Reasoning to $\mathcal{SRIQ}$}",
  author = "Andrew Bate and Boris Motik and Bernardo {Cuenca Grau} and Frantisek Simancik and Ian Horrocks",
  year = "2016",
  booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference",
  editor = "Chitta Baral and James P. Delgrande and Frank Wolter",
  pages = "187--196",
  publisher = "{AAAI} Press",
}