Muestra métricas de impacto externas asociadas a la publicación. Para mayor detalle:
| Indexado |
|
||||
| DOI | 10.1145/3196959.3196963 | ||||
| Año | 2018 | ||||
| Tipo | proceedings paper |
Citas Totales
Autores Afiliación Chile
Instituciones Chile
% Participación
Internacional
Autores
Afiliación Extranjera
Instituciones
Extranjeras
Many efforts have been dedicated to identifying restrictions on ontologies expressed as tuple-generating dependencies (tgds), a.k.a. existential rules, that lead to the decidability of answering ontology-mediated queries (OMQs). This has given rise to three families of formalisms: guarded, non-recursive, and sticky sets of tgds. We study the containment problem for OMQs expressed in such formalisms, which is a key ingredient for solving static analysis tasks associated with them. Our main contribution is the development of specially tailored techniques for OMQ containment under the classes of tgds stated above. This enables us to obtain sharp complexity bounds for the problems at hand.
| Revista | ISSN |
|---|---|
| Pods'18: Proceedings Of The 37 Th Acm Sigmod Sigact Sigai Symposium On Principles Of Database Systems | 978-1-4503-4706-8 |
| Ord. | Autor | Género | Institución - País |
|---|---|---|---|
| 1 | PABLO-BARCELO, BAEZA | - |
Universidad de Chile - Chile
Instituto Milenio Fundamentos de los Datos - Chile |
| 2 | Berger, Gerald | Hombre |
TU Wien - Austria
Technische Universität Wien - Austria |
| 3 | Pieris, Andreas | Hombre |
UNIV EDINBURGH - Reino Unido
University of Edinburgh - Reino Unido The University of Edinburgh - Reino Unido |
| 4 | Arenas, M | - | |
| 5 | Ugarte, M | - | |
| 6 | VanDenBussche, J | - |
| Fuente |
|---|
| FONDECYT |
| Fondo Nacional de Desarrollo Científico y Tecnológico |
| EPSRC |
| Fondo Nacional de Desarrollo CientÃfico y Tecnológico |
| Austrian Science Fund (FWF) |
| Engineering and Physical Sciences Research Council |
| Austrian Science Fund |
| Millennium Institute for Foundational Research on Data |
| Westmead Millennium Institute for Medical Research |
| DOC fellowship of the Austrian Academy of Sciences |
| Österreichischen Akademie der Wissenschaften |
| Österreichischen Akademie der Wissenschaften |
| Agradecimiento |
|---|
| Barcelo is funded by the Millennium Institute for Foundational Research on Data and Fondecyt grant 1170109. Berger is funded by the Austrian Science Fund (FWF), project number W1255-N23 and DOC fellowship of the Austrian Academy of Sciences. Pieris is funded by the EPSRC Programme Grant EP/M025268/ "VADA: Value Added Data Systems - Principles and Architecture". |
| Acknowledgements. Barceló is funded by the Millennium Institute for Foundational Research on Data and Fondecyt grant 1170109. Berger is funded by the Austrian Science Fund (FWF), project number W1255-N23 and DOC fellowship of the Austrian Academy of Sciences. Pieris is funded by the EPSRC Programme Grant EP/M025268/ “VADA: Value Added Data Systems - Principles and Architecture”. |