@inproceedings{Horrocks00f,
  title = "How to decide Query Containment under Constraints using a Description Logic",
  author = "I. Horrocks and S. Tessaris and U. Sattler and S. Tobies",
  year = "2000",
  booktitle = "Proc.\ of the 7th Int.\ Workshop on Knowledge Representation meets Databases (KRDB~2000)",
  series = "CEUR (\url{http://ceur-ws.org/})",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2000/Horrocks00f.pdf",
  volume = "29",
}