9 citations · 9 across the 1 of their papers we have counts for
1 paper · 1 filter
M. Magdalena Ortiz de la Fuente, Diego Calvanese, Thomas Eiter +1
An algorithm for answering conjunctive queries over SHIQ knowledge bases that is coNP in data complexity is given. The algorithm is based on the tableau algorithm for reasoning wit…