Data complexity of query answering in expressive description logics via tableaux. (2008)

by M Ortiz, D Calvanese, T Eiter
Venue:J. Automated Reasoning