@inproceedings{DBLP:conf/dlog/CucalaGH17,
  title = "Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals",
  author = "David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2017",
  booktitle = "Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017",
  editor = "Alessandro Artale and Birte Glimm and Roman Kontchakov",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-1879/paper35.pdf",
  volume = "1879",
}