English
Related papers

Related papers: Provenance for SPARQL queries

200 papers

The current de-facto way to query the Web of Data is through the SPARQL protocol, where a client sends queries to a server through a SPARQL endpoint. Contrary to an HTTP server, providing and maintaining a robust and reliable endpoint…

Databases · Computer Science 2021-07-30 Pavlos Fafalios , Yannis Tzitzikas

Large-scale semantic parsing datasets annotated with logical forms have enabled major advances in supervised approaches. But can richer supervision help even more? To explore the utility of fine-grained, lexical-level supervision, we…

Computation and Language · Computer Science 2020-10-23 Tianze Shi , Chen Zhao , Jordan Boyd-Graber , Hal Daumé , Lillian Lee

The algebraic approach for provenance tracking, originating in the semiring model of Green et. al, has proven useful as an abstract way of handling metadata. Commutative Semirings were shown to be the "correct" algebraic structure for Union…

Databases · Computer Science 2020-07-13 Pierre Bourhis , Daniel Deutch , Yuval Moskovitch

SPARQL query composition is difficult for the lay-person or even the experienced bioinformatician in cases where the data model is unfamiliar. Established best-practices and internationalization concerns dictate that semantic web ontologies…

Information Retrieval · Computer Science 2010-12-09 Luke McCarthy , Ben Vandervalk , Mark Wilkinson

In the last years, the Linked Data Cloud has achieved a size of more than 100 billion facts pertaining to a multitude of domains. However, accessing this information has been significantly challenging for lay users. Approaches to problems…

Computation and Language · Computer Science 2020-05-07 Tommaso Soru , Edgard Marx , Diego Moussallem , Gustavo Publio , André Valdestilhas , Diego Esteves , Ciro Baron Neto

A model checking computation checks whether a given logical sentence is true in a given finite structure. Provenance analysis abstracts from such a computation mathematical information on how the result depends on the atomic data that…

Logic in Computer Science · Computer Science 2020-10-21 Erich Grädel , Val Tannen

The advent of large language models is contributing to the emergence of novel approaches that promise to better tackle the challenge of generating structured queries, such as SPARQL queries, from natural language. However, these new…

Information Retrieval · Computer Science 2025-12-17 Panayiotis Smeros , Vincent Emonet , Ruijie Wang , Ana-Claudia Sima , Tarcisio Mendes de Farias

Query evaluation in monadic second-order logic (MSO) is tractable on trees and treelike instances, even though it is hard for arbitrary instances. This tractability result has been extended to several tasks related to query evaluation, such…

Databases · Computer Science 2016-07-19 Antoine Amarilli , Pierre Bourhis , Pierre Senellart

Interoperability is a feature required by the Semantic Web. It is provided by the ontology matching methods and algorithms. But now ontologies are presented not only in English, but in other languages as well. It is important to use an…

Information Retrieval · Computer Science 2011-10-27 Feiyu Lin , Andrew Krizhanovsky

Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, although many design points have been explored, the mathematical or semantic…

Databases · Computer Science 2009-12-22 James Cheney , Amal Ahmed , Umut Acar

Semantic parsing is the process of mapping a natural language sentence into a formal representation of its meaning. In this work we use the neural network approach to transform natural language sentence into a query to an ontology database…

Computation and Language · Computer Science 2018-03-13 Fabiano Ferreira Luz , Marcelo Finger

The field of query-by-example aims at inferring queries from output examples given by non-expert users, by finding the underlying logic that binds the examples. However, for a very small set of examples, it is difficult to correctly infer…

Databases · Computer Science 2020-08-21 Amir Gilad , Yuval Moskovitch

Research in Computational Linguistics is dependent on text corpora for training and testing new tools and methodologies. While there exists a plethora of annotated linguistic information, these corpora are often not interoperable without…

Computation and Language · Computer Science 2020-11-03 Timo Lek , Anna de Groot , Tobias Kuhn , Roser Morante

Ontology-Mediated Query Answering (OMQA) is a well-established framework to answer queries over an RDFS or OWL Knowledge Base (KB). OMQA was originally designed for unions of conjunctive queries (UCQs), and based on certain answers. More…

Databases · Computer Science 2019-11-22 Julien Corman , Guohui Xiao

The Semantic Web (or Web of Data) represents the successful efforts towards linking and sharing data over the Web. The cornerstones of the Web of Data are RDF as data format and SPARQL as de-facto standard query language. Recent trends show…

SPARQL is the W3C candidate recommendation query language for RDF. In this paper we address systematically the formal study of SPARQL, concentrating in its graph pattern facility. We consider for this study a fragment without literals and a…

Databases · Computer Science 2007-05-23 Jorge Perez , Marcelo Arenas , Claudio Gutierrez

Provenance, or information about the origin or derivation of data, is important for assessing the trustworthiness of data and identifying and correcting mistakes. Most prior implementations of data provenance have involved heavyweight…

Programming Languages · Computer Science 2017-08-23 Stefan Fehrenbach , James Cheney

Multiple lines of research have developed Natural Language (NL) interfaces for formulating database queries. We build upon this work, but focus on presenting a highly detailed form of the answers in NL. The answers that we present are…

Databases · Computer Science 2020-07-10 Daniel Deutch , Nave Frost , Amir Gilad

Thanks to the development of the Semantic Web, a lot of new structured data has become available on the Web in the form of knowledge bases (KBs). Making this valuable data accessible and usable for end-users is one of the main goals of…

Artificial Intelligence · Computer Science 2018-03-05 Dennis Diefenbach , Andreas Both , Kamal Singh , Pierre Maret

We address the problem of handling provenance information in ELHr ontologies. We consider a setting recently introduced for ontology-based data access, based on semirings and extending classical data provenance, in which ontology axioms are…

Logic in Computer Science · Computer Science 2023-10-25 Camille Bourgaux , Ana Ozaki , Rafael Peñaloza , Livia Predoiu