Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward.

Giovanni Amendola Nicola Leone Marco Manna

Published in: IJCAI (2018)

Keyphrases

conjunctive query answering
query answering
dl lite
description logics
data complexity
tuple generating dependencies
conjunctive queries
data exchange
function symbols
integrity constraints
np complete
data integration
expressive power
production rules