Inference of Shape Expression Schemas Typed RDF Graphs

07/10/2021
by   Benoît Groz, et al.
0

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 is both sound i.e., always producing a schema that validates the input RDF graph, and complete i.e., able to produce any schema, within a given class of schemas, provided that a sufficiently informative input graph is presented. We study the case where the input graph is typed i.e., every node is given with its types. We limit our attention to a practical fragment ShEx0 of Shape Expressions Schemas that has an equivalent graphical representation in the form of shape graphs. We investigate the problem of constructing a canonical representative of a given shape graph. Finally, we present a sound and complete algorithm for shape graphs thus showing that ShEx0 is learnable from typed graphs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/20/2018

Containment of Shape Expression Schemas for RDF

We study the problem of containment for shape expression schemas (ShEx) ...
research
08/31/2020

Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version)

The Shapes Constraint Language (SHACL) allows for formalizing constraint...
research
06/06/2022

Schema-Guided Event Graph Completion

We tackle a new task, event graph completion, which aims to predict miss...
research
07/02/2019

Rule Applicability on RDF Triplestore Schemas

Rule-based systems play a critical role in health and safety, where poli...
research
04/30/2018

Relational to RDF Data Exchange in Presence of a Shape Expression Schema

We study the relational to RDF data exchange problem, where the tar- get...
research
11/21/2021

Isomorphism Testing for T-graphs in FPT

A T-graph (a special case of a chordal graph) is the intersection graph ...
research
04/11/2023

Static Analysis of Graph Database Transformations

We investigate graph transformations, defined using Datalog-like rules b...

Please sign up or login with your details

Forgot password? Click here to reset