How to decide Query Containment under Constraints using a Description Logic.

db/conf/krdb/HorrocksSTT00.html Ian Horrocks Ulrike Sattler Sergio Tessaris Stephan Tobies How to decide Query Containment under Constraints using a Description Logic. 59-72 KRDB2000/P059.pdf 2000 conf/krdb/2000 KRDB http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-29/05-HoSST.ps db/conf/krdb/krdb2000.html#HorrocksSTT00