@inproceedings{TsHo04a,
  title = "Efficient Reasoning with Range and Domain Constraints",
  author = "Dmitry Tsarkov and Ian Horrocks",
  year = "2004",
  booktitle = "Proc.\ of the 2004 Description Logic Workshop (DL~2004)",
  pages = "41--50",
  url = "download/2004/TsHo04a.pdf",
}