Muestra la distribución de disciplinas para esta publicación.
Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.
| Indexado |
|
||
| DOI | |||
| Año | 2018 | ||
| Tipo | proceedings paper |
Citas Totales
Autores Afiliación Chile
Instituciones Chile
% Participación
Internacional
Autores
Afiliación Extranjera
Instituciones
Extranjeras
We focus on ontology-mediated queries (OMQs) based on (frontier-)guarded existential rules and (unions of) conjunctive queries, and we investigate the problem of FO-rewritability, i.e., whether an OMQ can be rewritten as a first-order query. We adopt two different approaches. The first approach employs standard two-way alternating parity tree automata. Although it does not lead to a tight complexity bound, it provides a transparent solution based on widely known tools. The second approach relies on a sophisticated automata model, known as cost automata. This allows us to show that our problem is 2EXPTIME-complete. In both approaches, we provide semantic characterizations of FO-rewritability that are of independent interest.
| Ord. | Autor | Género | Institución - País |
|---|---|---|---|
| 1 | BARCELO-BAEZA, PABLO | Hombre |
Universidad de Chile - Chile
|
| 2 | Berger, Gerald | Hombre |
TU Wien - Austria
|
| 3 | Lutz, Carsten | Hombre |
Univ Bremen - Alemania
|
| 4 | Pieris, Andreas | Hombre |
UNIV EDINBURGH - Reino Unido
|
| 5 | Lang, J | - |
| Fuente |
|---|
| FONDECYT |
| ERC |
| Millennium Institute for Foundational Research on Data |
| DOC fellowship of the Austrian Academy of Sciences |
| FWF |
| EPSRC Programme |
| Agradecimiento |
|---|
| Barcelo is funded by the Millennium Institute for Foundational Research on Data and Fondecyt grant 1170109. Berger is funded by the FWF project W1255-N23 and a DOC fellowship of the Austrian Academy of Sciences. Lutz is funded by the ERC grant 647289 "CODA". Pieris is funded by the EPSRC programme grant EP/M025268/"VADA". |