Answering regular path queries in expressive Description Logics via alternating tree-automata.
Diego CalvaneseThomas EiterMagdalena OrtizPublished in: Inf. Comput. (2014)
Keyphrases
- regular path queries
- tree automata
- expressive description logics
- regular expressions
- finite automata
- pattern matching
- query answering
- semistructured data
- query language
- xml schema
- matching algorithm
- context free grammars
- query evaluation
- data exchange
- pspace complete
- graph databases
- natural language
- conjunctive queries
- integrity constraints
- data complexity
- query containment