Conjunctive Query Answering for the Description Logic SHOIQ
Birte Glimm‚ Ian Horrocks and Ulrike Sattler
Institution
University of Manchester‚ School of Computer Science
Year
2006
Birte Glimm‚ Ian Horrocks and Ulrike Sattler