Enhancing Existential Rules by Closed-World Variables.

Giovanni Amendola Nicola Leone Marco Manna Pierfrancesco Veltri

Published in: IJCAI (2018)

Keyphrases

closed world
existentially quantified
derivation rules
open world
data exchange
logic programs
universally quantified
query answering
closed world assumptions
databases
stable model semantics
distributed databases