Conjunctive Query Answering for the Description Logic SHIQ.

Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler

Browse the full IJCAI paper archive.