@inproceedings{Horrocks00h, title = "Answering Conjunctive Queries Over {DL} Aboxes: a Preliminary Report", author = "I. Horrocks and S. Tessaris", year = "2000", booktitle = "Proc.\ of the 2000 Description Logic Workshop (DL~2000)", isbn = "3-86073-726-0", issn = "1437-8396", pages = "173--182", url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2000/Horrocks00h.pdf", }