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



Containment for Rule-Based Ontology-Mediated Queries
Indexado
WoS WOS:000455483100020
Scopus SCOPUS_ID:85047993140
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


Abstract



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.

Métricas Externas



PlumX Altmetric Dimensions

Muestra métricas de impacto externas asociadas a la publicación. Para mayor detalle:

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

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

Financiamiento



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

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

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