Semantics and Validation of Shapes Schemas for RDF

Boneva, Iovka; Labra Gayo, Jose; Prud 'Hommeaux, Eric

Document type :

Communication dans un congrès avec actes

Title :

Semantics and Validation of Shapes Schemas for RDF

Author(s) :

Boneva, Iovka [Auteur]

Linking Dynamic Data [LINKS]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Labra Gayo, Jose [Auteur]
Universidad de Oviedo = University of Oviedo
Prud 'Hommeaux, Eric [Auteur]
World Wide Web Consortium [W3C]

Conference title :

ISWC2017 - 16th International semantic web conference

City :

Vienna

Country :

Autriche

Start date of the conference :

2017-10-21

HAL domain(s) :

Informatique [cs]/Base de données [cs.DB]
Informatique [cs]/Web

English abstract : [en]

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 ...
Show more >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 an RDF graph, and to constrain the admissible properties and values for nodes in that graph. The language defines a typing mechanism called shapes against which nodes of the graph can be checked. It includes an algebraic grouping operator, a choice operator and cardinality constraints for the number of allowed occurrences of a property. Shapes can be combined using Boolean operators, and can use possibly recursive references to other shapes. We describe the syntax of the language and define its semantics. The semantics is proven to be well-defined for schemas that satisfy a reasonable syntactic restriction, namely stratified use of negation and recursion. We present two algorithms for the validation of an RDF graph against a shapes schema. The first algorithm is a direct implementation of the semantics , whereas the second is a non-trivial improvement. We also briefly give implementation guidelines.Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

ANR Project :

Spécification intensive en Coq d'intégration de données orientée sécurité

Collections :