@inproceedings{BMGSH15b,
  title = "{Extending Consequence-Based Reasoning to $\mathcal{SHIQ}$}",
  author = "Andrew Bate and Boris Motik and Bernardo {Cuenca Grau} and Franti{\v{s}}ek Siman{\v{c}\'{i}}k and Ian Horrocks",
  year = "2015",
  booktitle = "{Proceedings of the 28th International Workshop on Description Logics}",
  editor = "Diego Calvanese and Boris Konev",
  month = "6",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  volume = "1350",
}