How to Decide Query Containment Under Constraints Using a Description Logic.

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies

Browse the full LPAR paper archive.