Pseudo-inversion: closure properties and decidability.

Da-Jung Cho Yo-Sub Han Shin-Dong Kang Hwee Kim Sang-Ki Ko Kai Salomaa

Published in: Nat. Comput. (2016)

Keyphrases

closure properties
expressive power
context free grammars
tree automata
query answering
conjunctive queries
description logics
context free
query language
structural properties
data exchange
markov decision processes