@inproceedings{GlHS06a, title = "Conjunctive Query Answering for Description Logics with Transitive Roles", author = "Birte Glimm and Ian Horrocks and Ulrike Sattler", year = "2006", booktitle = "Proceedings of the 2006 Description Logic Workshop (DL 2006)", publisher = "CEUR Workshop Proceedings", }