Loop Restricted Existential Rules and First-order Rewritability for Query Answering.

Vernon Asuncion Yan Zhang Heng Zhang

Published in: CoRR (2018)

Keyphrases

query answering
conjunctive queries
ontology based data access
unions of conjunctive queries
data exchange
data complexity
integrity constraints
tuple generating dependencies
answering queries

description logics
dl lite
data integration
incomplete information
query rewriting
decision procedures
expressive power
conjunctive query answering

first order logic
inconsistent databases
datalog programs
query containment
horn clauses
schema mappings
probabilistic databases
data management

data sets
machine learning
query answers
regular path queries
closed world
artificial intelligence
database systems
databases