@inproceedings{GaTH06b,
  title = "Framework For an Automated Comparison of Description Logic Reasoners",
  author = "Tom Gardiner and Dmitry Tsarkov and Ian Horrocks",
  year = "2006",
  booktitle = "Proc.\ of the 5th International Semantic Web Conference (ISWC 2006)",
  pages = "654--667",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "download/2006/GaTH06b.pdf",
  volume = "4273",
}