@inproceedings{DBLP:conf/ijcai/CucalaGH18,
  title = "Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals",
  author = "David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2018",
  booktitle = "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden",
  editor = "J{\'{e}}r{\^{o}}me Lang",
  pages = "1970--1976",
  publisher = "ijcai.org",
  url = "https://doi.org/10.24963/ijcai.2018/272",
  doi = "10.24963/ijcai.2018/272",
}