A SHACL primer for KR researchers

Vortrag von Magdalena Ortiz

Veranstaltungsort: APB 3027
Beginn: 25. Juni 2024 um 11:00
Ende: 25. Juni 2024 um 12:00
Forschungsgruppe: 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.