A SHACL primer for KR researchers
From International Center for Computational Logic
A SHACL primer for KR researchers
Talk by Magdalena Ortiz
- Location: APB 3027
- Start: 25. June 2024 at 11:00 am
- End: 25. June 2024 at 12:00 pm
- Research group: Computational Logic
- Event series: Research Seminar Logic and AI
- iCal
The Shapes Constraint Language (SHACL) was recommended by the W3C in 2017 for describing constraints on RDF graphs and validating them. As it turns out, SHACL is closely related to Description Logics and to monadic Datalog, both familiar KR languages. Building on these connections, we introduce SHACL and its main reasoning problems in familiar KR terms. We discuss in particular the different approaches to the semantics of recursive SHACL, and the complexity of validation in some important fragments. Then we will recap some recent and ongoing research work on SHACL, and point to some of the many interesting open challenges, shedding light on how ideas and techniques from familiar KR areas can help develop SHACL further.
