How to decide query containment under constraints using a description logic

by Ian Horrocks , Sergio Tessaris , Ulrike Sattler , Stephan Tobies
Venue:In Proc. of the 7th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR 2000), Lecture Notes in Artificial Intelligence
Citations:50 - 20 self