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]

Authors

Diego Calvanese

This author has not been identified. Look up 'Diego Calvanese' in Google

Thomas Eiter

This author has not been identified. Look up 'Thomas Eiter' in Google

Magdalena Ortiz

This author has not been identified. Look up 'Magdalena Ortiz' in Google