Ontology-based data access (OBDA) is a popular approach for integrating and querying multiple data sources by means of an ontology, which is usually expressed in a description logic (DL) of DL-Lite family. The conventional semantics of OBDA and DLs is set-based-that is, duplicates are disregarded. This disagrees with the standard database bag (multiset) semantics, which is especially important for the correct evaluation of aggregate queries. In this article, we study two variants of bag semantics for query answering over DL-LiteF, extending basic DL-Litecore with functional roles. For our first semantics, which follows the semantics of primary keys in SQL, conjunctive query (CQ) answering is coNP-hard in data complexity in general, but it is in TC0 for the restricted class of rooted CQs; such CQs are also rewritable to the bag relational algebra. For our second semantics, the results are the same except that TC0 membership and rewritability hold only for the restricted class of ontologies identied by a new notion of functional weak acyclicity.
Bag Semantics of DL-Lite with Functionality Axioms / Cima, Gianluca; Nikolaou, Charalampos; Kostylev, Egor V.; Kaminski, Mark; Cuenca Grau, Bernardo; Horrocks, Ian. - 11778:(2019), pp. 128-144. (Intervento presentato al convegno 18th International Semantic Web Conference tenutosi a Auckland; Nuova Zelanda) [10.1007/978-3-030-30793-6_8].
Bag Semantics of DL-Lite with Functionality Axioms
Gianluca Cima
Primo
;
2019
Abstract
Ontology-based data access (OBDA) is a popular approach for integrating and querying multiple data sources by means of an ontology, which is usually expressed in a description logic (DL) of DL-Lite family. The conventional semantics of OBDA and DLs is set-based-that is, duplicates are disregarded. This disagrees with the standard database bag (multiset) semantics, which is especially important for the correct evaluation of aggregate queries. In this article, we study two variants of bag semantics for query answering over DL-LiteF, extending basic DL-Litecore with functional roles. For our first semantics, which follows the semantics of primary keys in SQL, conjunctive query (CQ) answering is coNP-hard in data complexity in general, but it is in TC0 for the restricted class of rooted CQs; such CQs are also rewritable to the bag relational algebra. For our second semantics, the results are the same except that TC0 membership and rewritability hold only for the restricted class of ontologies identied by a new notion of functional weak acyclicity.File | Dimensione | Formato | |
---|---|---|---|
Cima_Bag-Semantics_2019.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
318.68 kB
Formato
Adobe PDF
|
318.68 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.