@inproceedings{HLTB04a,
  title = "The Instance Store: {DL} Reasoning with Large Numbers of Individuals",
  author = "Ian Horrocks and Lei Li and Daniele Turi and Sean Bechhofer",
  year = "2004",
  booktitle = "Proc.\ of the 2004 Description Logic Workshop (DL~2004)",
  pages = "31--40",
  url = "download/2004/HLTB04a.pdf",
}