@inproceedings{DBLP:conf/dlog/CucalaGH19,
  title = "Sequoia: {A} Consequence Based Reasoner for {SROIQ}",
  author = "David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2019",
  booktitle = "Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019",
  editor = "Mantas Simkus and Grant E. Weddell",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-2373/paper-27.pdf",
  volume = "2373",
}