Query Containment Using a DLR ABox Preliminary Version Ian Horrocks University of Manchester Ulrike Sattler RWTH Aachen Sergio Tessaris University of Manchester Stephan Tobies RWTH Aachen LTCS-Report 99-15