Conjunctive Query Entailment: Decidable in Spite of O‚ I‚ and Q
Birte Glimm and Sebastian Rudolph
Book Title
Proceedings of the of the 2000 Description Logic Workshop (DL−09)
Publisher
CEUR Workshop Proceedings
Year
2009
Birte Glimm and Sebastian Rudolph