@inproceedings{BeHT05,
  title = "The {OWL} Instance Store: System Description",
  author = "Sean Bechhofer and Ian Horrocks and Daniele Turi",
  year = "2005",
  booktitle = "Proc.\ of the 20th Int.\ Conf.\ on Automated Deduction (CADE-20)",
  isbn = "3-540-28005-7",
  pages = "177--181",
  publisher = "Springer",
  series = "Lecture Notes in Artificial Intelligence",
  url = "download/2005/BeHT05.pdf",
}