activity
20162026
collaborators

11 papers

cs.AI2026

A Formally Grounded ODRL Evaluator: Implementation and Comparison

Jaime Osvaldo Salas, Paolo Pareti, Adeel Aslam +2

The ODRL policy language is emerging as the de-facto standard for policy modelling data access and usage preferences, AI governance policies and data workflows in European dataspac…

cs.AI2026

ODRL Policy Comparison Through Normalisation

Jaime Osvaldo Salas, Paolo Pareti, George Konstantinidis

The ODRL language has become the standard for representing policies and regulations for digital rights. However its complexity is a barrier to its usage, which has caused many rela…

cs.AI2025

Evaluation and Comparison Semantics for ODRL

Jaime Osvaldo Salas, Paolo Pareti, Semih Yumuşak +3

We consider the problem of evaluating, and comparing computational policies in the Open Digital Rights Language (ODRL), which has become the de facto standard for governing the acc…

cs.AI2025

SHACL Validation under Graph Updates (Extended Paper)

Shqiponja Ahmetaj, George Konstantinidis, Magdalena Ortiz +2

SHACL (SHApe Constraint Language) is a W3C standardized constraint language for RDF graphs. In this paper, we study SHACL validation in RDF graphs under updates. We present a SHACL…

cs.AI2024

SHACL2FOL: An FOL Toolkit for SHACL Decision Problems

Paolo Pareti

Recent studies on the Shapes Constraint Language (SHACL), a W3C specification for validating RDF graphs, rely on translating the language into first-order logic in order to provide…

cs.LO2020

SHACL Satisfiability and Containment (Extended Paper)

Paolo Pareti, George Konstantinidis, Fabio Mogavero +1

The Shapes Constraint Language (SHACL) is a recent W3C recommendation language for validating RDF data. Specifically, SHACL documents are collections of constraints that enforce pa…