First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries
Authors: Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
IJCAI 2018 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | Our analysis aims to develop specially tailored techniques that allow us to understand the problem of checking whether a (frontier-)guarded OMQ is FO-rewritable, and also to pinpoint its computational complexity. Our plan of attack and results can be summarized as follows: We first focus on the simpler OMQ language based on guarded TGDs and atomic queries, and, in Section 3, we provide a characterization of FO-rewritability that forms the basis for applying tree automata techniques. We then exploit, in Section 4, standard two-way alternating parity tree automata. In particular, we reduce our problem to the problem of checking the finiteness of the language of an automaton. |
| Researcher Affiliation | Academia | 1 Millennium Institute for Foundational Research on Data & DCC, University of Chile 2 Institute of Logic and Computation, TU Wien 3 Department of Mathematics and Computer Science, University of Bremen 4 School of Informatics, University of Edinburgh |
| Pseudocode | No | The paper does not contain any pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any statement or link indicating the release of open-source code for the described methodology. |
| Open Datasets | No | This is a theoretical paper and does not involve the use of datasets for training. |
| Dataset Splits | No | This is a theoretical paper and does not involve data splits for validation or training. |
| Hardware Specification | No | The paper is theoretical and does not describe any experimental setup or specific hardware used. |
| Software Dependencies | No | The paper is theoretical and does not mention any specific software dependencies with version numbers. |
| Experiment Setup | No | The paper is theoretical and does not describe an experimental setup with hyperparameters or training configurations. |