How to decide Query Containment under Constraints using a Description Logic
I. Horrocks‚ U. Sattler‚ S. Tessaris and S. Tobies
Annote
AKA: Horrocks99p
Book Title
Proc. of the 7th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR 2000)
Publisher
Springer−Verlag
Series
Lecture Notes in Artificial Intelligence
Year
2000