Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler. Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. (JAIR), 31:157-204, 2008. [doi]
@article{GlimmLHS08, title = {Conjunctive Query Answering for the Description Logic SHIQ}, author = {Birte Glimm and Carsten Lutz and Ian Horrocks and Ulrike Sattler}, year = {2008}, url = {http://jair.org/papers/paper2372.html}, tags = {logic}, researchr = {https://researchr.org/publication/GlimmLHS08}, cites = {0}, citedby = {0}, journal = {J. Artif. Intell. Res. (JAIR)}, volume = {31}, pages = {157-204}, }