Title : SHACL: Data Validation for Knowledge Graphs
SHACL is an emerging language to validate data in RDF knowledge graphs, and for some applications it can be seen as an alternative solution to formal ontologies. In this seminar I will summarise its main features and then discuss some of its less-obvious peculiarities and limitations. I will present our efforts to make sense of the semantics of this language, that was designed for the practitioner first, and the theoretician second. Our results shed light both on theoretical properties and on possible future applications.