My PhD: Shapes Constraint Language

Recently, I defended my PhD thesis, which was all about SHACL. If you want some idea of what the thesis is about, you can read about it in a collection of blog posts, starting here. If you want to go more in depth, you can take a look at the thesis, or read the papers it is based on. An overview:

• Chapter 1: Introduction (starting here)
• Chapter 2: Formalization
  • For this chapter, I think the actual thesis is nicer than reading the original papers.
  • SHACL: A Description Logic in Disguise
  • Data Provenance for SHACL (the formalization part)
• Chapter 3: Recursion
  • Fixpoint Semantics for Recursive SHACL
• Chapter 4: Expressiveness
  • Expressiveness of SHACL Features And Extensions For Full Equality and Disjointness Tests
• Chapter 5: Provenance
  • Data Provenance for SHACL
• Chapter 6: Conclusion