@article{AIJ-2021-Grau,
  title = "Pay-as-you-go Consequence-based Reasoning for the Description Logic SROIQ",
  author = "David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2021",
  journal = "Artificial Intelligence Journal (AIJ)",
  volume = "298",
}