@InProceedings{jung_et_al:LIPIcs.ICDT.2018.15, author = {Jung, Jean Christoph and Lutz, Carsten and Martel, Mauricio and Schneider, Thomas}, title = {{Querying the Unary Negation Fragment with Regular Path Expressions}}, booktitle = {21st International Conference on Database Theory (ICDT 2018)}, pages = {15:1--15:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-063-7}, ISSN = {1868-8969}, year = {2018}, volume = {98}, editor = {Kimelfeld, Benny and Amsterdamer, Yael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2018.15}, URN = {urn:nbn:de:0030-drops-85971}, doi = {10.4230/LIPIcs.ICDT.2018.15}, annote = {Keywords: Query Answering, Regular Path Queries, Decidable Fragments of First-Order Logic, Computational Complexity} }