@inproceedings{DL-2015-Pagoda,
  title = "PAGOdA: Pay-as-you-go ABox Reasoning",
  author = "Yujiao Zhou and Yavor Nenov and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2015",
  booktitle = "Proceedings of the 28th International Workshop on Description Logics (DL)",
}