@conference{huAAAI19,
  title = "Modular  Materialisation  of  Datalog  Programs",
  author = "Pan  Hu and Boris  Motik and Ian  Horrocks",
  year = "2019",
  booktitle = "Proceedings of the Thirty-Third {AAAI} Conference on Artificial Intelligence (AAAI-19)",
}
@article{DBLP:journals/jair/BateMGCSH18,
  title = "Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions",
  author = "Andrew Bate and Boris Motik and Bernardo Cuenca Grau and David Tena Cucala and Frantisek Simancik and Ian Horrocks",
  year = "2018",
  journal = "J. Artif. Intell. Res.",
  pages = "625--690",
  url = "https://doi.org/10.1613/jair.1.11257",
  volume = "63",
  doi = "10.1613/jair.1.11257",
}