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