@article{JAIR-completeness-2012,
  title = "Completeness Guarantees for Incomplete Ontology Reasones: Theory and Practice",
  author = "Bernardo Cuenca Grau and Boris Motik and Giorgos Stoilos and Ian Horrocks",
  year = "2012",
  journal = "Journal of Artificial Intelligence Research (JAIR)",
  pages = "419-476",
  volume = "43",
}