Answering regular path queries in expressive Description Logics via alternating tree-automata

Diego Calvanese, Thomas Eiter, Magdalena Ortiz. Answering regular path queries in expressive Description Logics via alternating tree-automata. Inf. Comput., 237:12-55, 2014. [doi]

Bibliographies