English
Related papers

Related papers: Semantics and Complexity of SPARQL

200 papers

Querying knowledge bases using ontologies is usually performed using dedicated query languages, question-answering systems, or visual query editors for Knowledge Graphs. We propose a novel approach that enables users to query the knowledge…

Human-Computer Interaction · Computer Science 2025-12-02 Benedikt Kantz , Kevin Innerebner , Peter Waldert , Stefan Lengauer , Elisabeth Lex , Tobias Schreck

SHACL and OWL are two prominent W3C standards for managing RDF data. These languages share many features, but they have one fundamental difference: OWL, designed for inferring facts from incomplete data, makes the open-world assumption,…

Logic in Computer Science · Computer Science 2026-01-21 Anouk Oudshoorn , Magdalena Ortiz , Mantas Simkus

The SPARQL query language is the standard method to access knowledge graphs (KGs). However, formulating SPARQL queries is a significant challenge for non-expert users, and remains time-consuming for the experienced ones. Best practices…

Databases · Computer Science 2025-12-15 Yousouf Taghzouti , Franck Michel , Tao Jiang , Louis-Félix Nothias , Fabien Gandon

This article provides a formalization of the W3C Draft Core SHACL Semantics specification using Z notation. This formalization exercise has identified a number of quality issues in the draft. It has also established that the recursive…

Databases · Computer Science 2015-11-03 Arthur Ryman

The federated query extension of SPARQL 1.1 allows executing queries distributed over different SPARQL endpoints. SPARQL-LD is a recent extension of SPARQL 1.1 which enables to directly query any HTTP web source containing RDF data, like…

Databases · Computer Science 2018-10-24 Thanos Yannakis , Pavlos Fafalios , Yannis Tzitzikas

An increasing number of organisations in almost all fields have started adopting semantic web technologies for publishing their data as open, linked and interoperable (RDF) datasets, queryable through the SPARQL language and protocol. Link…

Databases · Computer Science 2022-10-18 Antonis Sklavos , Pavlos Fafalios , Yannis Tzitzikas

Query graph construction aims to construct the correct executable SPARQL on the KG to answer natural language questions. Although recent methods have achieved good results using neural network-based query graph ranking, they suffer from…

Artificial Intelligence · Computer Science 2022-09-13 Yongrui Chen , Huiying Li , Guilin Qi , Tianxing Wu , Tenggou Wang

Organisations store huge amounts of data from multiple heterogeneous sources in the form of Knowledge Graphs (KGs). One of the ways to query these KGs is to use SPARQL queries over a database engine. Since SPARQL follows exact match…

Databases · Computer Science 2017-11-22 Madhulika Mohanty , Maya Ramanath , Mohamed Yahya , Gerhard Weikum

Information access needs to be uncomplicated, users rather use incorrect data which is easily received than correct information which is harder to obtain. Querying bibliographic metadata from digital libraries mainly supports simple textual…

Digital Libraries · Computer Science 2019-06-18 Christin Katharina Kreutz , Michael Wolz , Ralf Schenkel

This paper presents a thorough study of negation in SPARQL. The types of negation supported in SPARQL are identified and their main features discussed. Then, we study the expressive power of the corresponding negation operators. At this…

Databases · Computer Science 2016-06-07 Renzo Angles , Claudio Gutierrez

Semantic Web applications require querying available RDF Data with high performance and reliability. However, ensuring both data availability and performant SPARQL query execution in the context of public SPARQL servers are challenging…

Databases · Computer Science 2018-06-04 Thomas Minier , Hala Skaf-Molli , Pascal Molli

SPARQL CONSTRUCT queries allow for the specification of data processing pipelines that transform given input graphs into new output graphs. It is now common to constrain graphs through SHACL shapes allowing users to understand which data…

Databases · Computer Science 2024-05-22 Philipp Seifer , Daniel Hernández , Ralf Lämmel , Steffen Staab

This paper presents inference rules for Resource Description Framework (RDF), RDF Schema (RDFS) and Web Ontology Language (OWL). Our formalization is based on Notation 3 Logic, which extended RDF by logical symbols and created Semantic Web…

Databases · Computer Science 2016-01-13 Dominik Tomaszuk

We extend RDF with the ability to represent property values that exist, but are unknown or partially known, using constraints. Following ideas from the incomplete information literature, we develop a semantics for this extension of RDF,…

Databases · Computer Science 2012-12-19 Charalampos Nikolaou , Manolis Koubarakis

SHACL is a W3C-proposed schema language for expressing structural constraints on RDF graphs. Recent work on formalizing this language has revealed a striking relationship to description logics. SHACL expressions can use three fundamental…

Logic in Computer Science · Computer Science 2024-08-07 Bart Bogaerts , Maxime Jakubowski , Jan Van den Bussche

SQL/PGQ and GQL are very recent international standards for querying property graphs: SQL/PGQ specifies how to query relational representations of property graphs in SQL, while GQL is a standalone language for graph databases. The rapid…

Databases · Computer Science 2024-09-05 Amélie Gheerbrant , Leonid Libkin , Liat Peterfreund , Alexandra Rogova

In this paper, we propose a new approach for fast processing of SPARQL queries on large RDF datasets containing RDF quadruples (or quads). Our approach called RIQ employs a decrease-and-conquer strategy: Rather than indexing the entire RDF…

Databases · Computer Science 2016-04-18 Vasil Slavov , Anas Katib , Praveen Rao , Srivenu Paturi , Dinesh Barenkala

Haskell functions are defined as a series of clauses consisting of patterns that are matched against the arguments in the order of definition. In case an input is not matched by any of the clauses, an error occurs. Therefore it is desirable…

Programming Languages · Computer Science 2019-09-11 Pavel Kalvoda , Tom Sydney Kerckhove

We consider a core language of graph queries. These queries are seen as formulas to be solved with respect to graph-oriented databases. For this purpose, we first define a graph query algebra where some operations over graphs and sets of…

Logic in Computer Science · Computer Science 2022-02-22 Dominique Duval , Rachid Echahed , Frederic Prost

Knowledge Graph Question Answering (KGQA) simplifies querying vast amounts of knowledge stored in a graph-based model using natural language. However, the research has largely concentrated on English, putting non-English speakers at a…

Computation and Language · Computer Science 2024-07-09 Nikit Srivastava , Mengshi Ma , Daniel Vollmers , Hamada Zahera , Diego Moussallem , Axel-Cyrille Ngonga Ngomo