English
Related papers

Related papers: Provenance for SPARQL queries

200 papers

Data provenance consists in bookkeeping meta information during query evaluation, in order to enrich query results with their trust level, likelihood, evaluation cost, and more. The framework of semiring provenance abstracts from the…

Databases · Computer Science 2022-05-09 Camille Bourgaux , Pierre Bourhis , Liat Peterfreund , Michael Thomazo

We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggregation, and recent work has suggested to capture provenance…

Databases · Computer Science 2015-03-17 Yael Amsterdamer , Daniel Deutch , Val Tannen

The World Wide Web currently evolves into a Web of Linked Data where content providers publish and link data as they have done with hypertext for the last 20 years. While the declarative query language SPARQL is the de facto for querying…

Databases · Computer Science 2012-04-09 Olaf Hartig

We investigate semiring provenance--a successful framework originally defined in the relational database setting--for description logics. In this context, the ontology axioms are annotated with elements of a commutative semiring and these…

Logic in Computer Science · Computer Science 2026-03-31 Camille Bourgaux , Ana Ozaki , Rafael Peñaloza

A provenance analysis for a query evaluation or a model checking computation extracts information on how its result depends on the atomic facts of the model or database. Traditional work on data provenance was, to a large extent, restricted…

Logic in Computer Science · Computer Science 2024-12-12 Erich Grädel , Val Tannen

To translate natural language questions into executable database queries, most approaches rely on a fully annotated training set. Annotating a large dataset with queries is difficult as it requires query-language expertise. We reduce this…

Computation and Language · Computer Science 2022-06-01 Irina Saparina , Anton Osokin

Provenance for database queries or scientific workflows is often motivated as providing explanation, increasing understanding of the underlying data sources and processes used to compute the query, and reproducibility, the capability to…

Programming Languages · Computer Science 2014-08-13 James Cheney , Amal Ahmed , Umut A. Acar

The logic-based machine-understandable framework of the Semantic Web often challenges naive users when they try to query ontology-based knowledge bases. Existing research efforts have approached this problem by introducing Natural Language…

Computation and Language · Computer Science 2015-08-07 Iyad AlAgha

In today's data-driven ecosystems, ensuring data integrity, traceability and accountability is important. Provenance polynomials constitute a powerful formalism for tracing the origin and the derivations made to produce database query…

Databases · Computer Science 2025-08-21 Paulo Pintor , Rogério Costa , José Moreira

Ontology-based data access (OBDA) is a popular paradigm for querying heterogeneous data sources by connecting them through mappings to an ontology. In OBDA, it is often difficult to reconstruct why a tuple occurs in the answer of a query.…

Databases · Computer Science 2019-06-04 Diego Calvanese , Davide Lanti , Ana Ozaki , Rafael Penaloza , Guohui Xiao

As of today, there exists no standard language for querying Linked Data on the Web, where navigation across distributed data sources is a key feature. A natural candidate seems to be SPARQL, which recently has been enhanced with…

Databases · Computer Science 2015-03-18 Olaf Hartig , Giuseppe Pirro

The annotation of the results of database transformations was shown to be very effective for various applications. Until recently, most works in this context focused on positive query languages. The provenance semirings is a particular…

Databases · Computer Science 2015-03-19 Yael Amsterdamer , Daniel Deutch , Val Tannen

SPARQL is a highly powerful query language for an ever-growing number of Linked Data resources and Knowledge Graphs. Using it requires a certain familiarity with the entities in the domain to be queried as well as expertise in the…

Computation and Language · Computer Science 2019-06-25 Xiaoyu Yin , Dagmar Gromann , Sebastian Rudolph

Given a first-order sentence, a model-checking computation tests whether the sentence holds true in a given finite structure. Data provenance extracts from this computation an abstraction of the manner in which its result depends on the…

Logic in Computer Science · Computer Science 2017-12-07 Erich Grädel , Val Tannen

While the Semantic Web currently can exhibit provenance information by using the W3C PROV standards, there is a "missing link" in connecting PROV to storing and querying for dynamic changes to RDF graphs using SPARQL. Solving this problem…

Databases · Computer Science 2014-08-06 Harry Halpin , James Cheney

Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due to its importance in helping scientists judge data validity,…

Programming Languages · Computer Science 2008-12-03 James Cheney , Umut Acar , Amal Ahmed

A booming amount of information is continuously added to the Internet as structured and unstructured data, feeding knowledge bases such as DBpedia and Wikidata with billions of statements describing millions of entities. The aim of Question…

Computation and Language · Computer Science 2020-10-22 Anand Panchbhai , Tommaso Soru , Edgard Marx

The paper determines the algebraic and logic structure of the multiset semantics of the core patterns of SPARQL. We prove that the fragment formed by AND, UNION, OPTIONAL, FILTER, MINUS and SELECT corresponds precisely to both, the…

Databases · Computer Science 2016-10-17 Renzo Angles , Claudio Gutierrez

SPARQL query rewriting is a fundamental mechanism for uniformly querying heterogeneous ontologies in the Linked Data Web. However, the complexity of ontology alignments, particularly rich correspondences (c : c), makes this process…

Databases · Computer Science 2025-12-08 Anicet Lepetit Ondo , Laurence Capus , Mamadou Bousso

We describe a generic framework for representing and reasoning with annotated Semantic Web data, a task becoming more important with the recent increased amount of inconsistent and non-reliable meta-data on the web. We formalise the…

Databases · Computer Science 2011-03-08 Antoine Zimmermann , Nuno Lopes , Axel Polleres , Umberto Straccia
‹ Prev 1 2 3 10 Next ›