3 papers
cs.LO2026
Static Analysis of Recursive SHACL
Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
SHACL (Shapes Constraint Language) expresses constraints on RDF data by means of so-called shapes. Its central service is validation: verifying whether a data graph complies with a…
cs.LO2025
SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
SHACL and OWL are two prominent W3C standards for managing RDF data. These languages share many features, but they have one fundamental difference: OWL, designed for inferring fact…
cs.AI2025
Semantic Web and Creative AI -- A Technical Report from ISWS 2023
Raia Abu Ahmad, Reham Alharbi, Roberto Barile +74
The International Semantic Web Research School (ISWS) is a week-long intensive program designed to immerse participants in the field. This document reports a collaborative effort p…