@inproceedings{HoTe02a,
  title = "Querying the Semantic Web: a Formal Approach",
  author = "Ian~Horrocks and Sergio~Tessaris",
  year = "2002",
  booktitle = "Proc.\ of the 1st International Semantic Web Conference (ISWC 2002)",
  editor = "Ian Horrocks and James Hendler",
  isbn = "3-540-43760-6",
  pages = "177--191",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "download/2002/iswc2002.pdf",
  volume = "2342",
}