Enhancing Datalog with existential quantification gives rise to datalogex, a powerful knowledge representation language widely used in ontology-based query answering. In this setting, a conjunctive query is evaluated over a datalogex program consisting of extensional data paired with so-called ``existential'' rules. Due to their high expressiveness, such rules make the evaluation of queries undecidable, even when the latter are atomic. Decidable generalizations of Datalog by existential rules have been proposed in the literature (such as weakly-acyclic and weakly-guarded); but they pay the price of higher computational complexity, hindering the implementation of effective systems. Conversely, the results in this paper demonstrate that it is definitely possible to enable fast yet powerful query answering over existential rules that strictly generalize Datalog by ensuring decidability without any complexity overhead. % % On the theoretical side, we define the class of parsimonious programs which guarantees decidability of atomic queries. We then strengthen this class to strongly parsimonious programs ensuring decidability also for conjunctive queries. Since parsimony is an undecidable property, we single out Shy, an easily recognizable class of strongly parsimonious programs that generalizes Datalog while preserving its complexity even under conjunctive queries. Shy generalizes also the class of linear existential programs, while it is uncomparable to the other main classes ensuring decidability. % % On the practical side, we exploit our results to implement $dlvex$, an effective system for query answering over parsimonious existential rules. To assess its efficiency, we carry out an experimental analysis, evaluating $dlvex$ performances for ontology-based query answering on both real-world and synthetic ontologies.

Fast query answering over existential rules

NICOLA LEONE;MARCO MANNA
;
GIORGIO TERRACINA;PIERFRANCESCO VELTRI
2019-01-01

Abstract

Enhancing Datalog with existential quantification gives rise to datalogex, a powerful knowledge representation language widely used in ontology-based query answering. In this setting, a conjunctive query is evaluated over a datalogex program consisting of extensional data paired with so-called ``existential'' rules. Due to their high expressiveness, such rules make the evaluation of queries undecidable, even when the latter are atomic. Decidable generalizations of Datalog by existential rules have been proposed in the literature (such as weakly-acyclic and weakly-guarded); but they pay the price of higher computational complexity, hindering the implementation of effective systems. Conversely, the results in this paper demonstrate that it is definitely possible to enable fast yet powerful query answering over existential rules that strictly generalize Datalog by ensuring decidability without any complexity overhead. % % On the theoretical side, we define the class of parsimonious programs which guarantees decidability of atomic queries. We then strengthen this class to strongly parsimonious programs ensuring decidability also for conjunctive queries. Since parsimony is an undecidable property, we single out Shy, an easily recognizable class of strongly parsimonious programs that generalizes Datalog while preserving its complexity even under conjunctive queries. Shy generalizes also the class of linear existential programs, while it is uncomparable to the other main classes ensuring decidability. % % On the practical side, we exploit our results to implement $dlvex$, an effective system for query answering over parsimonious existential rules. To assess its efficiency, we carry out an experimental analysis, evaluating $dlvex$ performances for ontology-based query answering on both real-world and synthetic ontologies.
2019
ontology-based query answering, existential rules, datalog
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/289944
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 19
  • ???jsp.display-item.citation.isi??? 15
social impact