Sound, Complete and Minimal UCQ-Rewriting for Existential Rules

Mélanie KönigMélanie König, Michel LeclèreMichel Leclère, Marie-Laure MugnierMarie-Laure Mugnier, Michaël ThomazoMichaël Thomazo

Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Sound, Complete and Minimal UCQ-Rewriting for Existential Rules
Technical Report, Technischen Universität Dresden, 2013

Details
Bibtex

Forschungsgruppe:Research Group: Computational LogicComputational Logic

@techreport{KLMT2013,
  author      = {M{\'{e}}lanie K{\"{o}}nig and Michel Lecl{\`{e}}re and
                 Marie-Laure Mugnier and Micha{\"{e}}l Thomazo},
  title       = {Sound, Complete and Minimal {UCQ-Rewriting} for Existential
                 Rules},
  institution = {Technischen Universit{\"{a}}t Dresden},
  year        = {2013}
}