English
Related papers

Related papers: Shape Expressions Schemas

200 papers

We consider the problem of constructing a Shape Expression Schema (ShEx) that describes the structure of a given input RDF graph. We employ the framework of grammatical inference, where the objective is to find an inference algorithm that…

Databases · Computer Science 2021-07-13 Benoît Groz , Aurélien Lemay , Sławek Staworko , Piotr Wieczorek

We present a formal semantics and proof of soundness for shapes schemas, an expressive schema language for RDF graphs that is the foundation of Shape Expressions Language 2.0. It can be used to describe the vocabulary and the structure of…

Databases · Computer Science 2017-09-20 Iovka Boneva , Jose Emilio Labra Gayo , Eric G. Prud'hommeau

Linked data portals need to be able to advertise and describe the structure of their content. A sufficiently expressive and intuitive schema language will allow portals to communicate these structures. Validation tools will aid in the…

Databases · Computer Science 2017-02-01 Jose-Emilio Labra-Gayo , Eric Prud'hommeaux , Harold Solbrig , Iovka Boneva

We study the problem of containment for shape expression schemas (ShEx) for RDF graphs. We identify a subclass of ShEx that has a natural graphical representation in the form of shape graphs and their semantics is captured with a tractable…

Logic in Computer Science · Computer Science 2018-03-28 Slawek Staworko , Piotr Wieczorek

Shape Expressions (ShEx) are used in various fields of knowledge to define RDF graph structures. ShEx visualizations enable all kinds of users to better comprehend the underlying schemas and perceive its properties. Nevertheless, the only…

Human-Computer Interaction · Computer Science 2023-05-16 Jorge Alvarez-Fidalgo , Jose Emilio Labra-Gayo

We study the relational to RDF data exchange problem, where the tar- get constraints are specified using Shape Expression schema (ShEx). We investi- gate two fundamental problems: 1) consistency which is checking for a given data exchange…

Databases · Computer Science 2018-05-01 Iovka Boneva , Jose Lozano , Sławek Staworko

In constraint languages for RDF graphs, such as ShEx and SHACL, constraints on nodes and their properties in RDF graphs are known as "shapes". Schemas in these languages list the various shapes that certain targeted nodes must satisfy for…

Databases · Computer Science 2021-12-23 Thomas Delva , Anastasia Dimou , Maxime Jakubowski , Jan Van den Bussche

We present an introduction and a review of the Shapes Constraint Language (SHACL), the W3C recommendation language for validating RDF data. A SHACL document describes a set of constraints on RDF nodes, and a graph is valid with respect to…

Artificial Intelligence · Computer Science 2021-12-03 Paolo Pareti , George Konstantinidis

The initial adoption of knowledge graphs by Google and later by big companies has increased their adoption and popularity. In this paper we present a formal model for three different types of knowledge graphs which we call RDF-based graphs,…

Databases · Computer Science 2021-10-27 Jose Emilio Labra Gayo

We present a method for the construction of SHACL or ShEx constraints for an existing RDF dataset. It has two components that are used conjointly: an algorithm for automatic schema construction, and an interactive workflow for editing the…

Databases · Computer Science 2019-07-26 Iovka Boneva , Jérémie Dusart , Daniel Fernández Álvarez , Jose Emilio Labra Gayo

Graphs have emerged as an important foundation for a variety of applications, including capturing and reasoning over factual knowledge, semantic data integration, social networks, and providing factual knowledge for machine learning…

We formally introduce an inheritance mechanism for the Shape Expressions language (ShEx). It is inspired by inheritance in object-oriented programming languages, and provides similar advantages such as reuse, modularity, and more flexible…

The Shapes Constraint Language (SHACL) allows for formalizing constraints over RDF data graphs. A shape groups a set of constraints that may be fulfilled by nodes in the RDF graph. We investigate the problem of containment between SHACL…

Logic in Computer Science · Computer Science 2021-04-23 Martin Leinberger , Philipp Seifer , Tjitze Rienstra , Ralf Lämmel , Steffen Staab

The Shapes Constraint Language (SHACL) is the W3C Recommendation for validating a single RDF graph. This makes SHACL inadequate for validating data across (named) graphs in an RDF dataset. Existing workarounds, such as graph unions or…

Databases · Computer Science 2026-02-26 Davan Chiem Dao , Christophe Debruyne

The Shapes Constraint Language (SHACL) was standardized by the World Wide Web as a constraint language to describe and validate RDF data graphs. SHACL uses the notion of shapes graph to describe a set of shape constraints paired with…

Computational Complexity · Computer Science 2024-08-01 Shqiponja Ahmetaj , Timo Camillo Merkl , Reinhard Pichler

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

The Shapes Constraint Language (SHACL) is a recent W3C recommendation language for validating RDF data. Specifically, SHACL documents are collections of constraints that enforce particular shapes on an RDF graph. Previous work on the topic…

Logic in Computer Science · Computer Science 2020-11-06 Paolo Pareti , George Konstantinidis , Fabio Mogavero , Timothy J. Norman

Shapes Constraint Language (SHACL) is a powerful language for validating RDF data. Given the recent industry attention to Knowledge Graphs (KGs), more users need to validate linked data properly. However, traditional SHACL validation…

Databases · Computer Science 2025-07-14 Gustavo Correa Publio , José Emilio Labra Gayo

It is a strength of graph-based data formats, like RDF, that they are very flexible with representing data. To avoid run-time errors, program code that processes highly-flexible data representations exhibits the difficulty that it must…

Programming Languages · Computer Science 2019-07-02 Martin Leinberger , Philipp Seifer , Claudia Schon , Ralf Lämmel , Steffen Staab

Developing and testing modern RDF-based applications often requires access to RDF datasets with certain characteristics. Unfortunately, it is very difficult to publicly find domain-specific knowledge graphs that conform to a particular set…

Software Engineering · Computer Science 2026-03-16 Milos Jovanovik , Marija Vecovska , Maxime Jakubowski , Katja Hose
‹ Prev 1 2 3 10 Next ›