Data Complexity of Query Answering in Expressive Description Logics via Tableaux
From Tetherless World Wiki
\begin{bibtex} @article{DBLP:journals/jar/OrtizCE08,
author = {Magdalena Ortiz and
Diego Calvanese and
Thomas Eiter},
title = {Data Complexity of Query Answering in Expressive Description
Logics via Tableaux},
journal = {J. Autom. Reasoning},
volume = {41},
number = {1},
year = {2008},
pages = {61-98},
ee = {http://dx.doi.org/10.1007/s10817-008-9102-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
