Conjunctive Query Entailment for SHOQ
Birte Glimm‚ Ian Horrocks and Uli Sattler
Book Title
Proc. of the 2007 Description Logic Workshop (DL 2007)
Series
CEUR (http://ceur-ws.org/)
Volume
250
Year
2007
Birte Glimm‚ Ian Horrocks and Uli Sattler