A Hybrid Approach to Query Answering Under Expressive Datalog(+/-)

Milani, Mostafa; Cali, Andrea; Bertossi, Leopoldo; Ortiz, M; Schlobach, S

Abstract

Datalog(+/-) is a family of ontology languages that combine good computational properties with high expressive power. Datalog(perpendicular to) languages are provably able to capture many relevant Semantic Web languages. In this paper we consider the class of weakly-sticky (WS) Datalog(+/-) programs, which allow for certain useful forms of joins in rule bodies as well as extending the well-known class of weakly-acyclic TGDs. So far, only nondeterministic algorithms were known for answering queries on WS Datalog(+/-) programs. We present novel deterministic query answering algorithms under WS Datalog(+/-). In particular, we propose: (1) a bottom-up grounding algorithm based on a query-driven chase, and (2) a hybrid approach based on transforming a WS program into a so-called sticky one, for which query rewriting techniques are known. We discuss how our algorithms can be optimized and effectively applied for query answering in real-world scenarios.

Más información

Título según WOS: ID WOS:000389032800011 Not found in local WOS DB
Título de la Revista: EDUCATING FOR A NEW FUTURE: MAKING SENSE OF TECHNOLOGY-ENHANCED LEARNING ADOPTION, EC-TEL 2022
Volumen: 9898
Editorial: SPRINGER INTERNATIONAL PUBLISHING AG
Fecha de publicación: 2016
Página de inicio: 144
Página final: 158
DOI:

10.1007/978-3-319-45276-0_11

Notas: ISI