SlideShare a Scribd company logo
1 of 22
Guidance, Please!
Towards a Framework
for RDF-based Constraint Languages.
Thomas Bosch, GESIS – Lebniz Institute for the Social Sciences
Kai Eckert, Stuttgart Media University
Prerequisites
• For RDF data, we want to express constraints, as it is common for XML
files using for example XML Schema: „Every Book must have at least
one author.“
• Several languages exist or are in development that support this, for
instance Description Set Profiles, OWL 2 (despite not intended to be a
constraint language), Shape Expressions or Resource Shapes.
• For the further development of constraint languages, the DCMI RDF
Application Profiles task group collected requirements in a public
database.
Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015
2
http://purl.org/net/rdf-application-profiles
Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015
3
September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages.
4
Disclaimer: This is not an
accurate visualization!
Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015
5
A publication needs an author!
OWL 2: Publication a owl:Restriction ;
owl:minQualifiedCardinality 1 ;
owl:onProperty author ;
owl:onClass Person .
ShEx: Publication { author @Person{1, } }
ReSh: Publication a rs:ResourceShape ; rs:property [
rs:propertyDefinition author ;
rs:valueShape Person ;
rs:occurs rs:One-or-many ; ] .
DSP: [ dsp:resourceClass Publication ; dsp:statementTemplate [
dsp:minOccur 1 ;
dsp:property author ;
dsp:nonLiteralConstraint [ dsp:valueClass Person ] ] ] .
Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015
6
Let‘s spin….
SPIN: CONSTRUCT { [ a spin:ConstraintViolation ... . ] } WHERE {
?this
a ?C1 ;
?p ?o .
BIND ( qualifiedCardinality( ?this, ?p, ?C2 ) AS ?c ) .
BIND( STRDT ( STR ( ?c ), xsd:nonNegativeInteger ) AS ?cardinality ) .
FILTER ( ?cardinality < 1 ) .
FILTER ( ?C1 = Publication ) .
FILTER ( ?C2 = Person ) .
FILTER ( ?p = author ) . }
SPIN function qualifiedCardinality:
SELECT ( COUNT ( ?arg1 ) AS ?c ) WHERE { ?arg1 ?arg2 ?o . ?o a ?arg3 . }
Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015
7
From high-level to low-level
Low Level Language: Constraint Validation
SPIN/SPARQL
High Level Languages: Constraint Formulation
DSP OWL 2 ReSh ShEx
SPIN
SPARQL
Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015
8
Mapping from DSP to SPIN using SPARQL
CONSTRUCT {
_:constraintViolation a spin:ConstraintViolation ;
rdfs:label ?violationMessage ;
spin:violationRoot ?this ;
spin:violationPath ?property ;
spin:violationSource ?violationSource . }
WHERE {
?this a ?resourceClass .
?descriptionTemplate dsp:resourceClass ?resourceClass ;
dsp:statementTemplate ?statementTemplate .
?statementTemplate dsp:minOccur ?minimum ;
dsp:property ?property ;
dsp:nonLiteralConstraint ?nonLiteralConstraint .
?nonLiteralConstraint dsp:valueClass ?valueClass .
BIND ( qualifiedCardinality( ?this, ?property, ?valueClass ) AS ?cardinality ) .
FILTER ( ?cardinality < ?minimum ) . }
SPIN
SPARQL
Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015
9
Step by step:
Constraint validation using DSP
1. Write down your data constraints:
:authorNeeded dsp:resourceClass Publication ; dsp:statementTemplate [
dsp:minOccur 1 ;
dsp:property author ;
dsp:nonLiteralConstraint [ dsp:valueClass Person ] ].
2. Create a mapping from DSP to SPARQL:
• As shown before.
• One mapping per DSP element.
• This only has to be done once for DSP.
3. Load constraints and mappings and execute the validation using SPIN.
 This was our approach in our DC-2014 paper and is implemented in our demo:
http://purl.org/net/rdfval-demo
Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015
10
Challenge 1
A SPIN mapping constitutes two different aspects:
1. The definition of each language element (e.g. dsp:minOccur).
2. The definition of the violation that is created when validation fails.
The latter might be application specific. A consistent violation representation
across mappings is desirable.
 How can we ensure that two semantically equivalent constraints are
actually validated consistently?
Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015
11
Challenge 2
Many constraint languages exist. Semantically equivalent constraints
can be mapped from one language to another. But:
Supporting 5 languages requires 20 mappings,
10 languages require already 90 mappings,
generally 𝑛 ∙ 𝑛 − 1 mappings (both directions) are required.
Every single language element need to be mapped. This is not feasible
practically.
 How can we support the transformation of semantically equivalent
constraints from one constraint language to another?
Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015
12
Adding an additional layer
Low Level Language: Constraint Validation
SPIN/SPARQL
Intermediate Representation: Constraint Type (Requirement)
RDF Constraints Vocabulary (RDF-CV)
High Level Languages: Constraint Formulation
DSP OWL 2 ReSh ShEx
SPIN
SPARQL
SPIN
SPARQL
Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015
13
RDF-CV building blocks
Constraints are either…
• Simple Constraints or
• Complex Constraints.
Complex Constraints contain
Simple Constraints and/or other
Complex Constraints.
September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages.
14
Representing simple constraints
September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages.
15
„Syntactical“ description of the constraint based on a constraining element and up
to 5 parameters:
1. Context class: the class for which the constraint applies
2. Left property list: Depending on the constraining element the left side.
3. Right property list: the right side.
4. Classes: A class restriction for the constrained value.
5. Constraining value: a value to be used in the constraint.
Examples:
context class left p. list right p. list classes c. element c. value
Publication author - Person ≥ 1
context class left p. list right p. list classes c. element c. value
⊤ authorOf, genre authorOfGenre ⊤ property path -
RDF-CV specification
The list of all 103 constraining elements and the representation of all
81 constraint types using RDF-CV is available in a technical report:
Bosch, T., Nolle, A., Acar, E., & Eckert, K. (2015). RDF Validation
Requirements - Evaluation and Logical Underpinning. Computing
Research Repository (CoRR), abs/1501.03933.
(http://arxiv.org/abs/1501.03933)
September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages.
16
Mapping implementation
Example constraint:
:Publication a owl:Restriction ;
owl:minQualifiedCardinality 1 ;
owl:onProperty :author ;
owl:onClass :Person .
RDF-CV:
[ a rdfcv:SimpleConstraint ;
rdfcv:contextClass :Publication ;
rdfcv:leftProperties ( :author ) ;
rdfcv:classes ( :Person ) ;
rdfcv:constrainingElement "minimum qualified
cardinality restriction" ;
rdfcv:constrainingValue 1 ] .
September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages.
17
Mapping 1: To and from RDF-CV
• Using the usual SPARQL CONSTRUCT queries, we create the RDF-CV
representation (Mapping m).
• To support transformations from one constraint language to another,
another mapping m‘ from RDF-CV back to the constraint language is
added.
gc = mα (scα )
scβ = m´β (gc)
 This enables constraint transformations in a scalable way
(Challenge 2).
September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages.
18
Mapping 2: From RDF-CV to SPIN
• From RDF-CV, the SPIN representation can be created as usual.
• This mapping only has to be created only once.
• It contains the definition how exactly the constraint violations are
created. Depending on the application, different mappings can of
course be used.
 This ensures that irrespective of the constraint language,
semantically equivalent constraints are validated consistently
(Challenge 1).
September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages.
19
Conclusion
We think that this approach is suitable
• to implement the validation of constraints consistently across constraint
languages,
• to support the extension of constraint languages when additional
constraint types should be supported by means of a simple mapping, and
• to enhance or rather establish the interoperability of different constraint
languages.
September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages.
20
Thank you!
Acknowledgements: Thanks to all participants in the DCMI RDF Application Profiles
task group and particularly the chairs, Karen Coyle and Antoine Isaac.
September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages.
21
Licence
These slides are licensed according to the Creative Commons
Attribution-ShareAlike Licence
http://creativecommons.org/licenses/by-sa/3.0
September, 2nd 2015Eckert: JudaicaLink
22

More Related Content

What's hot

Global DSL workshop slides
Global DSL workshop slidesGlobal DSL workshop slides
Global DSL workshop slidesericupnorth
 
[DCSB] Torsten Roeder (BBAW), Yury Arzhanov (Ruhr­Universität Bochum) "The Gl...
[DCSB] Torsten Roeder (BBAW), Yury Arzhanov (Ruhr­Universität Bochum) "The Gl...[DCSB] Torsten Roeder (BBAW), Yury Arzhanov (Ruhr­Universität Bochum) "The Gl...
[DCSB] Torsten Roeder (BBAW), Yury Arzhanov (Ruhr­Universität Bochum) "The Gl...Digital Classicist Seminar Berlin
 
Object oriented slides
Object oriented slidesObject oriented slides
Object oriented slidesahad nadeem
 
Open-DO Update
Open-DO UpdateOpen-DO Update
Open-DO UpdateAdaCore
 
Criterion template
Criterion templateCriterion template
Criterion templatebalham
 
Doppl development iteration #10
Doppl development   iteration #10Doppl development   iteration #10
Doppl development iteration #10Diego Perini
 
In pursuit of expressivity: Groovy and Scala compared
In pursuit of expressivity: Groovy and Scala comparedIn pursuit of expressivity: Groovy and Scala compared
In pursuit of expressivity: Groovy and Scala comparedChris Richardson
 
The Rise of Dynamic Languages
The Rise of Dynamic LanguagesThe Rise of Dynamic Languages
The Rise of Dynamic Languagesgreenwop
 
PLUG : Presentation Layer Universal Generator
PLUG : Presentation Layer Universal GeneratorPLUG : Presentation Layer Universal Generator
PLUG : Presentation Layer Universal GeneratorEmmanuel Fuchs
 
[LibreOffice Asia Conference 2019] CJK Issues on LibreOffice(based on Korean ...
[LibreOffice Asia Conference 2019] CJK Issues on LibreOffice(based on Korean ...[LibreOffice Asia Conference 2019] CJK Issues on LibreOffice(based on Korean ...
[LibreOffice Asia Conference 2019] CJK Issues on LibreOffice(based on Korean ...DaeHyun Sung
 
Historical spelling normalization
Historical spelling normalizationHistorical spelling normalization
Historical spelling normalizationrmarquilhas
 
C language myths & secrets
C language myths & secretsC language myths & secrets
C language myths & secretsankush1510
 
Interaction Choreography Models in BPEL:Choreographies on the Enterprise Serv...
Interaction Choreography Models in BPEL:Choreographies on the Enterprise Serv...Interaction Choreography Models in BPEL:Choreographies on the Enterprise Serv...
Interaction Choreography Models in BPEL:Choreographies on the Enterprise Serv...Oliver Kopp
 
R & CDK: A Sturdy Platform in the Oceans of Chemical Data}
R & CDK: A Sturdy Platform in the Oceans of Chemical Data}R & CDK: A Sturdy Platform in the Oceans of Chemical Data}
R & CDK: A Sturdy Platform in the Oceans of Chemical Data}Rajarshi Guha
 
Introduction to c programming
Introduction to c programmingIntroduction to c programming
Introduction to c programmingSivant Kolhe
 
F# Sample and Resources
F# Sample and ResourcesF# Sample and Resources
F# Sample and ResourcesRhonda Tipton
 
Idn root zone lgr workshop icann53
Idn root zone lgr workshop icann53Idn root zone lgr workshop icann53
Idn root zone lgr workshop icann53ICANN
 

What's hot (20)

Global DSL workshop slides
Global DSL workshop slidesGlobal DSL workshop slides
Global DSL workshop slides
 
[DCSB] Torsten Roeder (BBAW), Yury Arzhanov (Ruhr­Universität Bochum) "The Gl...
[DCSB] Torsten Roeder (BBAW), Yury Arzhanov (Ruhr­Universität Bochum) "The Gl...[DCSB] Torsten Roeder (BBAW), Yury Arzhanov (Ruhr­Universität Bochum) "The Gl...
[DCSB] Torsten Roeder (BBAW), Yury Arzhanov (Ruhr­Universität Bochum) "The Gl...
 
Lecture 11
Lecture 11Lecture 11
Lecture 11
 
Object oriented slides
Object oriented slidesObject oriented slides
Object oriented slides
 
Open-DO Update
Open-DO UpdateOpen-DO Update
Open-DO Update
 
C Language
C LanguageC Language
C Language
 
Criterion template
Criterion templateCriterion template
Criterion template
 
Doppl development iteration #10
Doppl development   iteration #10Doppl development   iteration #10
Doppl development iteration #10
 
In pursuit of expressivity: Groovy and Scala compared
In pursuit of expressivity: Groovy and Scala comparedIn pursuit of expressivity: Groovy and Scala compared
In pursuit of expressivity: Groovy and Scala compared
 
The Rise of Dynamic Languages
The Rise of Dynamic LanguagesThe Rise of Dynamic Languages
The Rise of Dynamic Languages
 
PLUG : Presentation Layer Universal Generator
PLUG : Presentation Layer Universal GeneratorPLUG : Presentation Layer Universal Generator
PLUG : Presentation Layer Universal Generator
 
[LibreOffice Asia Conference 2019] CJK Issues on LibreOffice(based on Korean ...
[LibreOffice Asia Conference 2019] CJK Issues on LibreOffice(based on Korean ...[LibreOffice Asia Conference 2019] CJK Issues on LibreOffice(based on Korean ...
[LibreOffice Asia Conference 2019] CJK Issues on LibreOffice(based on Korean ...
 
Historical spelling normalization
Historical spelling normalizationHistorical spelling normalization
Historical spelling normalization
 
Improving Interoperability of Text Mining Tools with BioC
Improving Interoperability of Text Mining Tools with BioCImproving Interoperability of Text Mining Tools with BioC
Improving Interoperability of Text Mining Tools with BioC
 
C language myths & secrets
C language myths & secretsC language myths & secrets
C language myths & secrets
 
Interaction Choreography Models in BPEL:Choreographies on the Enterprise Serv...
Interaction Choreography Models in BPEL:Choreographies on the Enterprise Serv...Interaction Choreography Models in BPEL:Choreographies on the Enterprise Serv...
Interaction Choreography Models in BPEL:Choreographies on the Enterprise Serv...
 
R & CDK: A Sturdy Platform in the Oceans of Chemical Data}
R & CDK: A Sturdy Platform in the Oceans of Chemical Data}R & CDK: A Sturdy Platform in the Oceans of Chemical Data}
R & CDK: A Sturdy Platform in the Oceans of Chemical Data}
 
Introduction to c programming
Introduction to c programmingIntroduction to c programming
Introduction to c programming
 
F# Sample and Resources
F# Sample and ResourcesF# Sample and Resources
F# Sample and Resources
 
Idn root zone lgr workshop icann53
Idn root zone lgr workshop icann53Idn root zone lgr workshop icann53
Idn root zone lgr workshop icann53
 

Viewers also liked

Linked Data nach dem Hype
Linked Data nach dem HypeLinked Data nach dem Hype
Linked Data nach dem HypeKai Eckert
 
Thesaurusvisualisierung mit ICE-Map und SEMTINEL
Thesaurusvisualisierung mit ICE-Map und SEMTINELThesaurusvisualisierung mit ICE-Map und SEMTINEL
Thesaurusvisualisierung mit ICE-Map und SEMTINELKai Eckert
 
Bibliotheken und Linked Open Data - Erfahrungen und Ideen aus der UB Mannheim
Bibliotheken und Linked Open Data - Erfahrungen und Ideen aus der UB Mannheim Bibliotheken und Linked Open Data - Erfahrungen und Ideen aus der UB Mannheim
Bibliotheken und Linked Open Data - Erfahrungen und Ideen aus der UB Mannheim Kai Eckert
 
LOHAI: Providing a baseline for KOS based automatic indexing
LOHAI: Providing a baseline for KOS based automatic indexingLOHAI: Providing a baseline for KOS based automatic indexing
LOHAI: Providing a baseline for KOS based automatic indexingKai Eckert
 
Metadata Provenance Tutorial at SWIB 13, Part 1
Metadata Provenance Tutorial at SWIB 13, Part 1Metadata Provenance Tutorial at SWIB 13, Part 1
Metadata Provenance Tutorial at SWIB 13, Part 1Kai Eckert
 
Extending DCAM for Metadata Provenance
Extending DCAM for Metadata ProvenanceExtending DCAM for Metadata Provenance
Extending DCAM for Metadata ProvenanceKai Eckert
 
The DM2E Data Model and the DM2E Ingestion Infrastructure
The DM2E Data Model and the DM2E Ingestion InfrastructureThe DM2E Data Model and the DM2E Ingestion Infrastructure
The DM2E Data Model and the DM2E Ingestion InfrastructureKai Eckert
 
SWIB 2010: Linked Open Projects
SWIB 2010: Linked Open ProjectsSWIB 2010: Linked Open Projects
SWIB 2010: Linked Open ProjectsKai Eckert
 
Specialising the EDM for Digitised Manuscript (SWIB13)
Specialising the EDM for Digitised Manuscript (SWIB13)Specialising the EDM for Digitised Manuscript (SWIB13)
Specialising the EDM for Digitised Manuscript (SWIB13)Kai Eckert
 
RDF Application Profiles
RDF Application ProfilesRDF Application Profiles
RDF Application ProfilesKai Eckert
 

Viewers also liked (10)

Linked Data nach dem Hype
Linked Data nach dem HypeLinked Data nach dem Hype
Linked Data nach dem Hype
 
Thesaurusvisualisierung mit ICE-Map und SEMTINEL
Thesaurusvisualisierung mit ICE-Map und SEMTINELThesaurusvisualisierung mit ICE-Map und SEMTINEL
Thesaurusvisualisierung mit ICE-Map und SEMTINEL
 
Bibliotheken und Linked Open Data - Erfahrungen und Ideen aus der UB Mannheim
Bibliotheken und Linked Open Data - Erfahrungen und Ideen aus der UB Mannheim Bibliotheken und Linked Open Data - Erfahrungen und Ideen aus der UB Mannheim
Bibliotheken und Linked Open Data - Erfahrungen und Ideen aus der UB Mannheim
 
LOHAI: Providing a baseline for KOS based automatic indexing
LOHAI: Providing a baseline for KOS based automatic indexingLOHAI: Providing a baseline for KOS based automatic indexing
LOHAI: Providing a baseline for KOS based automatic indexing
 
Metadata Provenance Tutorial at SWIB 13, Part 1
Metadata Provenance Tutorial at SWIB 13, Part 1Metadata Provenance Tutorial at SWIB 13, Part 1
Metadata Provenance Tutorial at SWIB 13, Part 1
 
Extending DCAM for Metadata Provenance
Extending DCAM for Metadata ProvenanceExtending DCAM for Metadata Provenance
Extending DCAM for Metadata Provenance
 
The DM2E Data Model and the DM2E Ingestion Infrastructure
The DM2E Data Model and the DM2E Ingestion InfrastructureThe DM2E Data Model and the DM2E Ingestion Infrastructure
The DM2E Data Model and the DM2E Ingestion Infrastructure
 
SWIB 2010: Linked Open Projects
SWIB 2010: Linked Open ProjectsSWIB 2010: Linked Open Projects
SWIB 2010: Linked Open Projects
 
Specialising the EDM for Digitised Manuscript (SWIB13)
Specialising the EDM for Digitised Manuscript (SWIB13)Specialising the EDM for Digitised Manuscript (SWIB13)
Specialising the EDM for Digitised Manuscript (SWIB13)
 
RDF Application Profiles
RDF Application ProfilesRDF Application Profiles
RDF Application Profiles
 

Similar to Guidance, Please! Towards a Framework for RDF-based Constraint Languages.

Doctoral Examination at the Karlsruhe Institute of Technology (08.07.2016)
Doctoral Examination at the Karlsruhe Institute of Technology (08.07.2016)Doctoral Examination at the Karlsruhe Institute of Technology (08.07.2016)
Doctoral Examination at the Karlsruhe Institute of Technology (08.07.2016)Dr.-Ing. Thomas Hartmann
 
Atlanta MLconf Machine Learning Conference 09-23-2016
Atlanta MLconf Machine Learning Conference 09-23-2016Atlanta MLconf Machine Learning Conference 09-23-2016
Atlanta MLconf Machine Learning Conference 09-23-2016Chris Fregly
 
Chris Fregly, Research Scientist, PipelineIO at MLconf ATL 2016
Chris Fregly, Research Scientist, PipelineIO at MLconf ATL 2016Chris Fregly, Research Scientist, PipelineIO at MLconf ATL 2016
Chris Fregly, Research Scientist, PipelineIO at MLconf ATL 2016MLconf
 
A REVIEW ON RDB TO RDF MAPPING FOR SEMANTIC WEB
A REVIEW ON RDB TO RDF MAPPING FOR SEMANTIC WEB A REVIEW ON RDB TO RDF MAPPING FOR SEMANTIC WEB
A REVIEW ON RDB TO RDF MAPPING FOR SEMANTIC WEB ijfcstjournal
 
A Review on RDB to RDF Mapping for Semantic Web
A Review on RDB to RDF Mapping for Semantic WebA Review on RDB to RDF Mapping for Semantic Web
A Review on RDB to RDF Mapping for Semantic WebAEIJjournal2
 
A REVIEW ON RDB TO RDF MAPPING FOR SEMANTIC WEB
A REVIEW ON RDB TO RDF MAPPING FOR SEMANTIC WEB A REVIEW ON RDB TO RDF MAPPING FOR SEMANTIC WEB
A REVIEW ON RDB TO RDF MAPPING FOR SEMANTIC WEB ijfcstjournal
 
Linked Data (in low-resource) Platforms: a mapping for Constrained Applicatio...
Linked Data (in low-resource) Platforms: a mapping for Constrained Applicatio...Linked Data (in low-resource) Platforms: a mapping for Constrained Applicatio...
Linked Data (in low-resource) Platforms: a mapping for Constrained Applicatio...SisInfLab-SWoT @Politecnico di Bari
 
Encoding and Designing for the Swift Poems Project
Encoding and Designing for the Swift Poems ProjectEncoding and Designing for the Swift Poems Project
Encoding and Designing for the Swift Poems ProjectJames Griffin
 
Realizing the promise of portable data processing with Apache Beam
Realizing the promise of portable data processing with Apache BeamRealizing the promise of portable data processing with Apache Beam
Realizing the promise of portable data processing with Apache BeamDataWorks Summit
 
Language Server Protocol - Why the Hype?
Language Server Protocol - Why the Hype?Language Server Protocol - Why the Hype?
Language Server Protocol - Why the Hype?mikaelbarbero
 
8 Open-Source Concept Coded Graphic Symbol support in OpenOffice.org
8 Open-Source Concept Coded Graphic Symbol support in OpenOffice.org8 Open-Source Concept Coded Graphic Symbol support in OpenOffice.org
8 Open-Source Concept Coded Graphic Symbol support in OpenOffice.orgAEGIS-ACCESSIBLE Projects
 
Introduction to LDP in Apache Marmotta
Introduction to LDP in Apache MarmottaIntroduction to LDP in Apache Marmotta
Introduction to LDP in Apache MarmottaSergio Fernández
 
Present and future of unified, portable and efficient data processing with Ap...
Present and future of unified, portable and efficient data processing with Ap...Present and future of unified, portable and efficient data processing with Ap...
Present and future of unified, portable and efficient data processing with Ap...DataWorks Summit
 
A hands on overview of the semantic web
A hands on overview of the semantic webA hands on overview of the semantic web
A hands on overview of the semantic webMarakana Inc.
 
PL Lecture 02 - Binding and Scope
PL Lecture 02 - Binding and ScopePL Lecture 02 - Binding and Scope
PL Lecture 02 - Binding and ScopeSchwannden Kuo
 
Word embeddings
Word embeddingsWord embeddings
Word embeddingsShruti kar
 

Similar to Guidance, Please! Towards a Framework for RDF-based Constraint Languages. (20)

Doctoral Examination at the Karlsruhe Institute of Technology (08.07.2016)
Doctoral Examination at the Karlsruhe Institute of Technology (08.07.2016)Doctoral Examination at the Karlsruhe Institute of Technology (08.07.2016)
Doctoral Examination at the Karlsruhe Institute of Technology (08.07.2016)
 
KIT Graduiertenkolloquium 11.05.2016
KIT Graduiertenkolloquium 11.05.2016KIT Graduiertenkolloquium 11.05.2016
KIT Graduiertenkolloquium 11.05.2016
 
Atlanta MLconf Machine Learning Conference 09-23-2016
Atlanta MLconf Machine Learning Conference 09-23-2016Atlanta MLconf Machine Learning Conference 09-23-2016
Atlanta MLconf Machine Learning Conference 09-23-2016
 
Chris Fregly, Research Scientist, PipelineIO at MLconf ATL 2016
Chris Fregly, Research Scientist, PipelineIO at MLconf ATL 2016Chris Fregly, Research Scientist, PipelineIO at MLconf ATL 2016
Chris Fregly, Research Scientist, PipelineIO at MLconf ATL 2016
 
Preparing for Scala 3
Preparing for Scala 3Preparing for Scala 3
Preparing for Scala 3
 
A REVIEW ON RDB TO RDF MAPPING FOR SEMANTIC WEB
A REVIEW ON RDB TO RDF MAPPING FOR SEMANTIC WEB A REVIEW ON RDB TO RDF MAPPING FOR SEMANTIC WEB
A REVIEW ON RDB TO RDF MAPPING FOR SEMANTIC WEB
 
A Review on RDB to RDF Mapping for Semantic Web
A Review on RDB to RDF Mapping for Semantic WebA Review on RDB to RDF Mapping for Semantic Web
A Review on RDB to RDF Mapping for Semantic Web
 
A REVIEW ON RDB TO RDF MAPPING FOR SEMANTIC WEB
A REVIEW ON RDB TO RDF MAPPING FOR SEMANTIC WEB A REVIEW ON RDB TO RDF MAPPING FOR SEMANTIC WEB
A REVIEW ON RDB TO RDF MAPPING FOR SEMANTIC WEB
 
Linked Data (in low-resource) Platforms: a mapping for Constrained Applicatio...
Linked Data (in low-resource) Platforms: a mapping for Constrained Applicatio...Linked Data (in low-resource) Platforms: a mapping for Constrained Applicatio...
Linked Data (in low-resource) Platforms: a mapping for Constrained Applicatio...
 
Encoding and Designing for the Swift Poems Project
Encoding and Designing for the Swift Poems ProjectEncoding and Designing for the Swift Poems Project
Encoding and Designing for the Swift Poems Project
 
Realizing the promise of portable data processing with Apache Beam
Realizing the promise of portable data processing with Apache BeamRealizing the promise of portable data processing with Apache Beam
Realizing the promise of portable data processing with Apache Beam
 
Programming Languages
Programming LanguagesProgramming Languages
Programming Languages
 
Language Server Protocol - Why the Hype?
Language Server Protocol - Why the Hype?Language Server Protocol - Why the Hype?
Language Server Protocol - Why the Hype?
 
8 Open-Source Concept Coded Graphic Symbol support in OpenOffice.org
8 Open-Source Concept Coded Graphic Symbol support in OpenOffice.org8 Open-Source Concept Coded Graphic Symbol support in OpenOffice.org
8 Open-Source Concept Coded Graphic Symbol support in OpenOffice.org
 
Introduction to LDP in Apache Marmotta
Introduction to LDP in Apache MarmottaIntroduction to LDP in Apache Marmotta
Introduction to LDP in Apache Marmotta
 
semanticweb
semanticwebsemanticweb
semanticweb
 
Present and future of unified, portable and efficient data processing with Ap...
Present and future of unified, portable and efficient data processing with Ap...Present and future of unified, portable and efficient data processing with Ap...
Present and future of unified, portable and efficient data processing with Ap...
 
A hands on overview of the semantic web
A hands on overview of the semantic webA hands on overview of the semantic web
A hands on overview of the semantic web
 
PL Lecture 02 - Binding and Scope
PL Lecture 02 - Binding and ScopePL Lecture 02 - Binding and Scope
PL Lecture 02 - Binding and Scope
 
Word embeddings
Word embeddingsWord embeddings
Word embeddings
 

More from Kai Eckert

Judaica link und der FID Jüdische Studien
Judaica link und der FID Jüdische StudienJudaica link und der FID Jüdische Studien
Judaica link und der FID Jüdische StudienKai Eckert
 
Linked Open Citation Database (LOC-DB)
Linked Open Citation Database (LOC-DB)Linked Open Citation Database (LOC-DB)
Linked Open Citation Database (LOC-DB)Kai Eckert
 
JudaicaLink: Linked Data in the Jewish Studies FID
JudaicaLink: Linked Data in the Jewish Studies FIDJudaicaLink: Linked Data in the Jewish Studies FID
JudaicaLink: Linked Data in the Jewish Studies FIDKai Eckert
 
JudaicaLink: Linked Data from Jewish Encyclopediae
JudaicaLink: Linked Data from Jewish EncyclopediaeJudaicaLink: Linked Data from Jewish Encyclopediae
JudaicaLink: Linked Data from Jewish EncyclopediaeKai Eckert
 
Towards Interoperable Metadata Provenance
Towards Interoperable Metadata ProvenanceTowards Interoperable Metadata Provenance
Towards Interoperable Metadata ProvenanceKai Eckert
 
Linked Open Projects (DCMI Library Community)
Linked Open Projects (DCMI Library Community)Linked Open Projects (DCMI Library Community)
Linked Open Projects (DCMI Library Community)Kai Eckert
 
Metadata Provenance
Metadata ProvenanceMetadata Provenance
Metadata ProvenanceKai Eckert
 
Linked Open Projects (DGI-Konferenz)
Linked Open Projects (DGI-Konferenz)Linked Open Projects (DGI-Konferenz)
Linked Open Projects (DGI-Konferenz)Kai Eckert
 
Linked Open Projects
Linked Open ProjectsLinked Open Projects
Linked Open ProjectsKai Eckert
 
Crowdsourcing the Assembly of Concept Hierarchies
Crowdsourcing the Assembly of Concept HierarchiesCrowdsourcing the Assembly of Concept Hierarchies
Crowdsourcing the Assembly of Concept HierarchiesKai Eckert
 
A Unified Approach for Representing Metametadata
A Unified Approach for Representing MetametadataA Unified Approach for Representing Metametadata
A Unified Approach for Representing MetametadataKai Eckert
 
Semantic Web, SKOS und Linked Data
Semantic Web, SKOS und Linked DataSemantic Web, SKOS und Linked Data
Semantic Web, SKOS und Linked DataKai Eckert
 

More from Kai Eckert (12)

Judaica link und der FID Jüdische Studien
Judaica link und der FID Jüdische StudienJudaica link und der FID Jüdische Studien
Judaica link und der FID Jüdische Studien
 
Linked Open Citation Database (LOC-DB)
Linked Open Citation Database (LOC-DB)Linked Open Citation Database (LOC-DB)
Linked Open Citation Database (LOC-DB)
 
JudaicaLink: Linked Data in the Jewish Studies FID
JudaicaLink: Linked Data in the Jewish Studies FIDJudaicaLink: Linked Data in the Jewish Studies FID
JudaicaLink: Linked Data in the Jewish Studies FID
 
JudaicaLink: Linked Data from Jewish Encyclopediae
JudaicaLink: Linked Data from Jewish EncyclopediaeJudaicaLink: Linked Data from Jewish Encyclopediae
JudaicaLink: Linked Data from Jewish Encyclopediae
 
Towards Interoperable Metadata Provenance
Towards Interoperable Metadata ProvenanceTowards Interoperable Metadata Provenance
Towards Interoperable Metadata Provenance
 
Linked Open Projects (DCMI Library Community)
Linked Open Projects (DCMI Library Community)Linked Open Projects (DCMI Library Community)
Linked Open Projects (DCMI Library Community)
 
Metadata Provenance
Metadata ProvenanceMetadata Provenance
Metadata Provenance
 
Linked Open Projects (DGI-Konferenz)
Linked Open Projects (DGI-Konferenz)Linked Open Projects (DGI-Konferenz)
Linked Open Projects (DGI-Konferenz)
 
Linked Open Projects
Linked Open ProjectsLinked Open Projects
Linked Open Projects
 
Crowdsourcing the Assembly of Concept Hierarchies
Crowdsourcing the Assembly of Concept HierarchiesCrowdsourcing the Assembly of Concept Hierarchies
Crowdsourcing the Assembly of Concept Hierarchies
 
A Unified Approach for Representing Metametadata
A Unified Approach for Representing MetametadataA Unified Approach for Representing Metametadata
A Unified Approach for Representing Metametadata
 
Semantic Web, SKOS und Linked Data
Semantic Web, SKOS und Linked DataSemantic Web, SKOS und Linked Data
Semantic Web, SKOS und Linked Data
 

Recently uploaded

User Guide: Pulsar™ Weather Station (Columbia Weather Systems)
User Guide: Pulsar™ Weather Station (Columbia Weather Systems)User Guide: Pulsar™ Weather Station (Columbia Weather Systems)
User Guide: Pulsar™ Weather Station (Columbia Weather Systems)Columbia Weather Systems
 
User Guide: Orion™ Weather Station (Columbia Weather Systems)
User Guide: Orion™ Weather Station (Columbia Weather Systems)User Guide: Orion™ Weather Station (Columbia Weather Systems)
User Guide: Orion™ Weather Station (Columbia Weather Systems)Columbia Weather Systems
 
Microteaching on terms used in filtration .Pharmaceutical Engineering
Microteaching on terms used in filtration .Pharmaceutical EngineeringMicroteaching on terms used in filtration .Pharmaceutical Engineering
Microteaching on terms used in filtration .Pharmaceutical EngineeringPrajakta Shinde
 
OECD bibliometric indicators: Selected highlights, April 2024
OECD bibliometric indicators: Selected highlights, April 2024OECD bibliometric indicators: Selected highlights, April 2024
OECD bibliometric indicators: Selected highlights, April 2024innovationoecd
 
User Guide: Capricorn FLX™ Weather Station
User Guide: Capricorn FLX™ Weather StationUser Guide: Capricorn FLX™ Weather Station
User Guide: Capricorn FLX™ Weather StationColumbia Weather Systems
 
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.aasikanpl
 
Vision and reflection on Mining Software Repositories research in 2024
Vision and reflection on Mining Software Repositories research in 2024Vision and reflection on Mining Software Repositories research in 2024
Vision and reflection on Mining Software Repositories research in 2024AyushiRastogi48
 
Call Girls in Munirka Delhi 💯Call Us 🔝8264348440🔝
Call Girls in Munirka Delhi 💯Call Us 🔝8264348440🔝Call Girls in Munirka Delhi 💯Call Us 🔝8264348440🔝
Call Girls in Munirka Delhi 💯Call Us 🔝8264348440🔝soniya singh
 
Grafana in space: Monitoring Japan's SLIM moon lander in real time
Grafana in space: Monitoring Japan's SLIM moon lander  in real timeGrafana in space: Monitoring Japan's SLIM moon lander  in real time
Grafana in space: Monitoring Japan's SLIM moon lander in real timeSatoshi NAKAHIRA
 
Pests of soyabean_Binomics_IdentificationDr.UPR.pdf
Pests of soyabean_Binomics_IdentificationDr.UPR.pdfPests of soyabean_Binomics_IdentificationDr.UPR.pdf
Pests of soyabean_Binomics_IdentificationDr.UPR.pdfPirithiRaju
 
Base editing, prime editing, Cas13 & RNA editing and organelle base editing
Base editing, prime editing, Cas13 & RNA editing and organelle base editingBase editing, prime editing, Cas13 & RNA editing and organelle base editing
Base editing, prime editing, Cas13 & RNA editing and organelle base editingNetHelix
 
Speech, hearing, noise, intelligibility.pptx
Speech, hearing, noise, intelligibility.pptxSpeech, hearing, noise, intelligibility.pptx
Speech, hearing, noise, intelligibility.pptxpriyankatabhane
 
LIGHT-PHENOMENA-BY-CABUALDIONALDOPANOGANCADIENTE-CONDEZA (1).pptx
LIGHT-PHENOMENA-BY-CABUALDIONALDOPANOGANCADIENTE-CONDEZA (1).pptxLIGHT-PHENOMENA-BY-CABUALDIONALDOPANOGANCADIENTE-CONDEZA (1).pptx
LIGHT-PHENOMENA-BY-CABUALDIONALDOPANOGANCADIENTE-CONDEZA (1).pptxmalonesandreagweneth
 
Pests of castor_Binomics_Identification_Dr.UPR.pdf
Pests of castor_Binomics_Identification_Dr.UPR.pdfPests of castor_Binomics_Identification_Dr.UPR.pdf
Pests of castor_Binomics_Identification_Dr.UPR.pdfPirithiRaju
 
RESPIRATORY ADAPTATIONS TO HYPOXIA IN HUMNAS.pptx
RESPIRATORY ADAPTATIONS TO HYPOXIA IN HUMNAS.pptxRESPIRATORY ADAPTATIONS TO HYPOXIA IN HUMNAS.pptx
RESPIRATORY ADAPTATIONS TO HYPOXIA IN HUMNAS.pptxFarihaAbdulRasheed
 
BUMI DAN ANTARIKSA PROJEK IPAS SMK KELAS X.pdf
BUMI DAN ANTARIKSA PROJEK IPAS SMK KELAS X.pdfBUMI DAN ANTARIKSA PROJEK IPAS SMK KELAS X.pdf
BUMI DAN ANTARIKSA PROJEK IPAS SMK KELAS X.pdfWildaNurAmalia2
 
Call Girls In Nihal Vihar Delhi ❤️8860477959 Looking Escorts In 24/7 Delhi NCR
Call Girls In Nihal Vihar Delhi ❤️8860477959 Looking Escorts In 24/7 Delhi NCRCall Girls In Nihal Vihar Delhi ❤️8860477959 Looking Escorts In 24/7 Delhi NCR
Call Girls In Nihal Vihar Delhi ❤️8860477959 Looking Escorts In 24/7 Delhi NCRlizamodels9
 
THE ROLE OF PHARMACOGNOSY IN TRADITIONAL AND MODERN SYSTEM OF MEDICINE.pptx
THE ROLE OF PHARMACOGNOSY IN TRADITIONAL AND MODERN SYSTEM OF MEDICINE.pptxTHE ROLE OF PHARMACOGNOSY IN TRADITIONAL AND MODERN SYSTEM OF MEDICINE.pptx
THE ROLE OF PHARMACOGNOSY IN TRADITIONAL AND MODERN SYSTEM OF MEDICINE.pptxNandakishor Bhaurao Deshmukh
 
Citronella presentation SlideShare mani upadhyay
Citronella presentation SlideShare mani upadhyayCitronella presentation SlideShare mani upadhyay
Citronella presentation SlideShare mani upadhyayupadhyaymani499
 

Recently uploaded (20)

User Guide: Pulsar™ Weather Station (Columbia Weather Systems)
User Guide: Pulsar™ Weather Station (Columbia Weather Systems)User Guide: Pulsar™ Weather Station (Columbia Weather Systems)
User Guide: Pulsar™ Weather Station (Columbia Weather Systems)
 
User Guide: Orion™ Weather Station (Columbia Weather Systems)
User Guide: Orion™ Weather Station (Columbia Weather Systems)User Guide: Orion™ Weather Station (Columbia Weather Systems)
User Guide: Orion™ Weather Station (Columbia Weather Systems)
 
Microteaching on terms used in filtration .Pharmaceutical Engineering
Microteaching on terms used in filtration .Pharmaceutical EngineeringMicroteaching on terms used in filtration .Pharmaceutical Engineering
Microteaching on terms used in filtration .Pharmaceutical Engineering
 
OECD bibliometric indicators: Selected highlights, April 2024
OECD bibliometric indicators: Selected highlights, April 2024OECD bibliometric indicators: Selected highlights, April 2024
OECD bibliometric indicators: Selected highlights, April 2024
 
User Guide: Capricorn FLX™ Weather Station
User Guide: Capricorn FLX™ Weather StationUser Guide: Capricorn FLX™ Weather Station
User Guide: Capricorn FLX™ Weather Station
 
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
 
Vision and reflection on Mining Software Repositories research in 2024
Vision and reflection on Mining Software Repositories research in 2024Vision and reflection on Mining Software Repositories research in 2024
Vision and reflection on Mining Software Repositories research in 2024
 
Call Girls in Munirka Delhi 💯Call Us 🔝8264348440🔝
Call Girls in Munirka Delhi 💯Call Us 🔝8264348440🔝Call Girls in Munirka Delhi 💯Call Us 🔝8264348440🔝
Call Girls in Munirka Delhi 💯Call Us 🔝8264348440🔝
 
Grafana in space: Monitoring Japan's SLIM moon lander in real time
Grafana in space: Monitoring Japan's SLIM moon lander  in real timeGrafana in space: Monitoring Japan's SLIM moon lander  in real time
Grafana in space: Monitoring Japan's SLIM moon lander in real time
 
Pests of soyabean_Binomics_IdentificationDr.UPR.pdf
Pests of soyabean_Binomics_IdentificationDr.UPR.pdfPests of soyabean_Binomics_IdentificationDr.UPR.pdf
Pests of soyabean_Binomics_IdentificationDr.UPR.pdf
 
Base editing, prime editing, Cas13 & RNA editing and organelle base editing
Base editing, prime editing, Cas13 & RNA editing and organelle base editingBase editing, prime editing, Cas13 & RNA editing and organelle base editing
Base editing, prime editing, Cas13 & RNA editing and organelle base editing
 
Speech, hearing, noise, intelligibility.pptx
Speech, hearing, noise, intelligibility.pptxSpeech, hearing, noise, intelligibility.pptx
Speech, hearing, noise, intelligibility.pptx
 
LIGHT-PHENOMENA-BY-CABUALDIONALDOPANOGANCADIENTE-CONDEZA (1).pptx
LIGHT-PHENOMENA-BY-CABUALDIONALDOPANOGANCADIENTE-CONDEZA (1).pptxLIGHT-PHENOMENA-BY-CABUALDIONALDOPANOGANCADIENTE-CONDEZA (1).pptx
LIGHT-PHENOMENA-BY-CABUALDIONALDOPANOGANCADIENTE-CONDEZA (1).pptx
 
Pests of castor_Binomics_Identification_Dr.UPR.pdf
Pests of castor_Binomics_Identification_Dr.UPR.pdfPests of castor_Binomics_Identification_Dr.UPR.pdf
Pests of castor_Binomics_Identification_Dr.UPR.pdf
 
RESPIRATORY ADAPTATIONS TO HYPOXIA IN HUMNAS.pptx
RESPIRATORY ADAPTATIONS TO HYPOXIA IN HUMNAS.pptxRESPIRATORY ADAPTATIONS TO HYPOXIA IN HUMNAS.pptx
RESPIRATORY ADAPTATIONS TO HYPOXIA IN HUMNAS.pptx
 
BUMI DAN ANTARIKSA PROJEK IPAS SMK KELAS X.pdf
BUMI DAN ANTARIKSA PROJEK IPAS SMK KELAS X.pdfBUMI DAN ANTARIKSA PROJEK IPAS SMK KELAS X.pdf
BUMI DAN ANTARIKSA PROJEK IPAS SMK KELAS X.pdf
 
Hot Sexy call girls in Moti Nagar,🔝 9953056974 🔝 escort Service
Hot Sexy call girls in  Moti Nagar,🔝 9953056974 🔝 escort ServiceHot Sexy call girls in  Moti Nagar,🔝 9953056974 🔝 escort Service
Hot Sexy call girls in Moti Nagar,🔝 9953056974 🔝 escort Service
 
Call Girls In Nihal Vihar Delhi ❤️8860477959 Looking Escorts In 24/7 Delhi NCR
Call Girls In Nihal Vihar Delhi ❤️8860477959 Looking Escorts In 24/7 Delhi NCRCall Girls In Nihal Vihar Delhi ❤️8860477959 Looking Escorts In 24/7 Delhi NCR
Call Girls In Nihal Vihar Delhi ❤️8860477959 Looking Escorts In 24/7 Delhi NCR
 
THE ROLE OF PHARMACOGNOSY IN TRADITIONAL AND MODERN SYSTEM OF MEDICINE.pptx
THE ROLE OF PHARMACOGNOSY IN TRADITIONAL AND MODERN SYSTEM OF MEDICINE.pptxTHE ROLE OF PHARMACOGNOSY IN TRADITIONAL AND MODERN SYSTEM OF MEDICINE.pptx
THE ROLE OF PHARMACOGNOSY IN TRADITIONAL AND MODERN SYSTEM OF MEDICINE.pptx
 
Citronella presentation SlideShare mani upadhyay
Citronella presentation SlideShare mani upadhyayCitronella presentation SlideShare mani upadhyay
Citronella presentation SlideShare mani upadhyay
 

Guidance, Please! Towards a Framework for RDF-based Constraint Languages.

  • 1. Guidance, Please! Towards a Framework for RDF-based Constraint Languages. Thomas Bosch, GESIS – Lebniz Institute for the Social Sciences Kai Eckert, Stuttgart Media University
  • 2. Prerequisites • For RDF data, we want to express constraints, as it is common for XML files using for example XML Schema: „Every Book must have at least one author.“ • Several languages exist or are in development that support this, for instance Description Set Profiles, OWL 2 (despite not intended to be a constraint language), Shape Expressions or Resource Shapes. • For the further development of constraint languages, the DCMI RDF Application Profiles task group collected requirements in a public database. Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015 2
  • 3. http://purl.org/net/rdf-application-profiles Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015 3
  • 4. September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. 4
  • 5. Disclaimer: This is not an accurate visualization! Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015 5
  • 6. A publication needs an author! OWL 2: Publication a owl:Restriction ; owl:minQualifiedCardinality 1 ; owl:onProperty author ; owl:onClass Person . ShEx: Publication { author @Person{1, } } ReSh: Publication a rs:ResourceShape ; rs:property [ rs:propertyDefinition author ; rs:valueShape Person ; rs:occurs rs:One-or-many ; ] . DSP: [ dsp:resourceClass Publication ; dsp:statementTemplate [ dsp:minOccur 1 ; dsp:property author ; dsp:nonLiteralConstraint [ dsp:valueClass Person ] ] ] . Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015 6
  • 7. Let‘s spin…. SPIN: CONSTRUCT { [ a spin:ConstraintViolation ... . ] } WHERE { ?this a ?C1 ; ?p ?o . BIND ( qualifiedCardinality( ?this, ?p, ?C2 ) AS ?c ) . BIND( STRDT ( STR ( ?c ), xsd:nonNegativeInteger ) AS ?cardinality ) . FILTER ( ?cardinality < 1 ) . FILTER ( ?C1 = Publication ) . FILTER ( ?C2 = Person ) . FILTER ( ?p = author ) . } SPIN function qualifiedCardinality: SELECT ( COUNT ( ?arg1 ) AS ?c ) WHERE { ?arg1 ?arg2 ?o . ?o a ?arg3 . } Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015 7
  • 8. From high-level to low-level Low Level Language: Constraint Validation SPIN/SPARQL High Level Languages: Constraint Formulation DSP OWL 2 ReSh ShEx SPIN SPARQL Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015 8
  • 9. Mapping from DSP to SPIN using SPARQL CONSTRUCT { _:constraintViolation a spin:ConstraintViolation ; rdfs:label ?violationMessage ; spin:violationRoot ?this ; spin:violationPath ?property ; spin:violationSource ?violationSource . } WHERE { ?this a ?resourceClass . ?descriptionTemplate dsp:resourceClass ?resourceClass ; dsp:statementTemplate ?statementTemplate . ?statementTemplate dsp:minOccur ?minimum ; dsp:property ?property ; dsp:nonLiteralConstraint ?nonLiteralConstraint . ?nonLiteralConstraint dsp:valueClass ?valueClass . BIND ( qualifiedCardinality( ?this, ?property, ?valueClass ) AS ?cardinality ) . FILTER ( ?cardinality < ?minimum ) . } SPIN SPARQL Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015 9
  • 10. Step by step: Constraint validation using DSP 1. Write down your data constraints: :authorNeeded dsp:resourceClass Publication ; dsp:statementTemplate [ dsp:minOccur 1 ; dsp:property author ; dsp:nonLiteralConstraint [ dsp:valueClass Person ] ]. 2. Create a mapping from DSP to SPARQL: • As shown before. • One mapping per DSP element. • This only has to be done once for DSP. 3. Load constraints and mappings and execute the validation using SPIN.  This was our approach in our DC-2014 paper and is implemented in our demo: http://purl.org/net/rdfval-demo Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015 10
  • 11. Challenge 1 A SPIN mapping constitutes two different aspects: 1. The definition of each language element (e.g. dsp:minOccur). 2. The definition of the violation that is created when validation fails. The latter might be application specific. A consistent violation representation across mappings is desirable.  How can we ensure that two semantically equivalent constraints are actually validated consistently? Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015 11
  • 12. Challenge 2 Many constraint languages exist. Semantically equivalent constraints can be mapped from one language to another. But: Supporting 5 languages requires 20 mappings, 10 languages require already 90 mappings, generally 𝑛 ∙ 𝑛 − 1 mappings (both directions) are required. Every single language element need to be mapped. This is not feasible practically.  How can we support the transformation of semantically equivalent constraints from one constraint language to another? Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015 12
  • 13. Adding an additional layer Low Level Language: Constraint Validation SPIN/SPARQL Intermediate Representation: Constraint Type (Requirement) RDF Constraints Vocabulary (RDF-CV) High Level Languages: Constraint Formulation DSP OWL 2 ReSh ShEx SPIN SPARQL SPIN SPARQL Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. September, 2nd 2015 13
  • 14. RDF-CV building blocks Constraints are either… • Simple Constraints or • Complex Constraints. Complex Constraints contain Simple Constraints and/or other Complex Constraints. September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. 14
  • 15. Representing simple constraints September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. 15 „Syntactical“ description of the constraint based on a constraining element and up to 5 parameters: 1. Context class: the class for which the constraint applies 2. Left property list: Depending on the constraining element the left side. 3. Right property list: the right side. 4. Classes: A class restriction for the constrained value. 5. Constraining value: a value to be used in the constraint. Examples: context class left p. list right p. list classes c. element c. value Publication author - Person ≥ 1 context class left p. list right p. list classes c. element c. value ⊤ authorOf, genre authorOfGenre ⊤ property path -
  • 16. RDF-CV specification The list of all 103 constraining elements and the representation of all 81 constraint types using RDF-CV is available in a technical report: Bosch, T., Nolle, A., Acar, E., & Eckert, K. (2015). RDF Validation Requirements - Evaluation and Logical Underpinning. Computing Research Repository (CoRR), abs/1501.03933. (http://arxiv.org/abs/1501.03933) September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. 16
  • 17. Mapping implementation Example constraint: :Publication a owl:Restriction ; owl:minQualifiedCardinality 1 ; owl:onProperty :author ; owl:onClass :Person . RDF-CV: [ a rdfcv:SimpleConstraint ; rdfcv:contextClass :Publication ; rdfcv:leftProperties ( :author ) ; rdfcv:classes ( :Person ) ; rdfcv:constrainingElement "minimum qualified cardinality restriction" ; rdfcv:constrainingValue 1 ] . September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. 17
  • 18. Mapping 1: To and from RDF-CV • Using the usual SPARQL CONSTRUCT queries, we create the RDF-CV representation (Mapping m). • To support transformations from one constraint language to another, another mapping m‘ from RDF-CV back to the constraint language is added. gc = mα (scα ) scβ = m´β (gc)  This enables constraint transformations in a scalable way (Challenge 2). September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. 18
  • 19. Mapping 2: From RDF-CV to SPIN • From RDF-CV, the SPIN representation can be created as usual. • This mapping only has to be created only once. • It contains the definition how exactly the constraint violations are created. Depending on the application, different mappings can of course be used.  This ensures that irrespective of the constraint language, semantically equivalent constraints are validated consistently (Challenge 1). September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. 19
  • 20. Conclusion We think that this approach is suitable • to implement the validation of constraints consistently across constraint languages, • to support the extension of constraint languages when additional constraint types should be supported by means of a simple mapping, and • to enhance or rather establish the interoperability of different constraint languages. September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. 20
  • 21. Thank you! Acknowledgements: Thanks to all participants in the DCMI RDF Application Profiles task group and particularly the chairs, Karen Coyle and Antoine Isaac. September, 2nd 2015Bosch, Eckert: Guidance, please! Towards a Framework for RDF-based Constraint Languages. 21
  • 22. Licence These slides are licensed according to the Creative Commons Attribution-ShareAlike Licence http://creativecommons.org/licenses/by-sa/3.0 September, 2nd 2015Eckert: JudaicaLink 22