@techreport{BMGSH15a, 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", institution = "Department of Computer Science, University of Oxford", month = "6", }