@article{DBLP:journals/corr/abs-1805-01396,
  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",
  journal = "CoRR",
  url = "http://arxiv.org/abs/1805.01396",
  volume = "abs/1805.01396",
}