In this paper we study query answering over ontologies expressed in Datalog+/–, i.e., datalog with existential variables in rule heads. Differently from previous proposals, we focus on subclasses of unions of conjunctive queries (UCQs), rather than on the whole class of UCQs. To identify subclasses of UCQs, we introduce the notion of conjunctive query pattern. Given a class of queries Q expressed by a conjunctive query pattern, we study decidability and complexity of answering queries in Q over a Datalog+/– program. In particular, we define an algorithm that, given a Datalog+/– program P and a class of queries Q, is able to compute a simplified Datalog+/– program P′ that is equivalent to P with respect to answering queries in Q. We show that such an algorithm constitutes both a theoretical and a practical interesting tool for studying query answering over ontologies expressed in terms of Datalog+/– rules.
Query patterns for existential rules / Civili, Cristina; Rosati, Riccardo. - STAMPA. - 7497:(2012), pp. 42-57. (Intervento presentato al convegno 6th International Conference on Web Reasoning and Rule Systems - RR 2012 tenutosi a Vienna, Austria nel settembre 2012) [10.1007/978-3-642-33203-6_5].
Query patterns for existential rules
CIVILI, CRISTINA;ROSATI, Riccardo
2012
Abstract
In this paper we study query answering over ontologies expressed in Datalog+/–, i.e., datalog with existential variables in rule heads. Differently from previous proposals, we focus on subclasses of unions of conjunctive queries (UCQs), rather than on the whole class of UCQs. To identify subclasses of UCQs, we introduce the notion of conjunctive query pattern. Given a class of queries Q expressed by a conjunctive query pattern, we study decidability and complexity of answering queries in Q over a Datalog+/– program. In particular, we define an algorithm that, given a Datalog+/– program P and a class of queries Q, is able to compute a simplified Datalog+/– program P′ that is equivalent to P with respect to answering queries in Q. We show that such an algorithm constitutes both a theoretical and a practical interesting tool for studying query answering over ontologies expressed in terms of Datalog+/– rules.File | Dimensione | Formato | |
---|---|---|---|
VE_2012_11573-501892.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
7.53 MB
Formato
Adobe PDF
|
7.53 MB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.