Colección SciELO Chile

Departamento Gestión de Conocimiento, Monitoreo y Prospección
Consultas o comentarios: productividad@anid.cl
Búsqueda Publicación
Búsqueda por Tema Título, Abstract y Keywords



First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries
Indexado
WoS WOS:000764175401116
DOI
Año 2018
Tipo proceedings paper

Citas Totales

Autores Afiliación Chile

Instituciones Chile

% Participación
Internacional

Autores
Afiliación Extranjera

Instituciones
Extranjeras


Abstract



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.

Revista



Revista ISSN
978-0-9992411-2-7

Disciplinas de Investigación



WOS
Sin Disciplinas
Scopus
Sin Disciplinas
SciELO
Sin Disciplinas

Muestra la distribución de disciplinas para esta publicación.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

Colaboración Institucional



Muestra la distribución de colaboración, tanto nacional como extranjera, generada en esta publicación.


Autores - Afiliación



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 -

Muestra la afiliación y género (detectado) para los co-autores de la publicación.

Financiamiento



Fuente
FONDECYT
ERC
Millennium Institute for Foundational Research on Data
DOC fellowship of the Austrian Academy of Sciences
FWF
EPSRC Programme

Muestra la fuente de financiamiento declarada en la publicación.

Agradecimientos



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".

Muestra la fuente de financiamiento declarada en la publicación.