Sound, Complete, and Minimal Query Rewriting for Existential Rules

Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. Sound, Complete, and Minimal Query Rewriting for Existential Rules. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 3017-3021, IJCAI/AAAI, 2013. [doi]

@inproceedings{KonigLMT13-0,
  title = {Sound, Complete, and Minimal Query Rewriting for Existential Rules},
  author = {Mélanie König and Michel Leclère and Marie-Laure Mugnier and Michaël Thomazo},
  year = {2013},
  url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6641},
  researchr = {https://researchr.org/publication/KonigLMT13-0},
  cites = {0},
  citedby = {0},
  pages = {3017-3021},
  booktitle = {IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  editor = {Francesca Rossi},
  publisher = {IJCAI/AAAI},
  isbn = {978-1-57735-633-2},
}