How to decide Query Containment under Constraints using a Description Logic
I. Horrocks‚ U. Sattler‚ S. Tessaris and S. Tobies
Details
| 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 |