Query Containment Using a DLR ABox
I. Horrocks‚ U. Sattler‚ S. Tessaris and S. Tobies
Details
| Address |
Germany |
| Annote |
AKA: HorrocksSattler+−LTCS−99−15 |
| Institution |
LuFG Theoretical Computer Science‚ RWTH Aachen |
| Number |
99−15 |
| Year |
1999 |