activity
20142026
most citedSatisfiability and Containment of Recursive SHACL

13 citations · 40 across the 15 of their papers we have counts for

collaborators

15 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.AI2021

A Review of SHACL: From Data Validation to Schema Reasoning for RDF Graphs

Paolo Pareti, George Konstantinidis

We present an introduction and a review of the Shapes Constraint Language (SHACL), the W3C recommendation language for validating RDF data. A SHACL document describes a set of cons…

cs.AI2021★ 13 cited

Satisfiability and Containment of Recursive SHACL

Paolo Pareti, George Konstantinidis, Fabio Mogavero

The Shapes Constraint Language (SHACL) is the recent W3C recommendation language for validating RDF data, by verifying certain shapes on graphs. Previous work has largely focused o…

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…

cs.AI2019

A Policy Editor for Semantic Sensor Networks

Paolo Pareti, George Konstantinidis, Timothy J. Norman

An important use of sensors and actuator networks is to comply with health and safety policies in hazardous environments. In order to deal with increasingly large and dynamic envir…

cs.AI2019★ 12 cited

SHACL Constraints with Inference Rules

Paolo Pareti, George Konstantinidis, Timothy J. Norman +1

The Shapes Constraint Language (SHACL) has been recently introduced as a W3C recommendation to define constraints that can be validated against RDF graphs. Interactions of SHACL wi…

cs.DB2019

Rule Applicability on RDF Triplestore Schemas

Paolo Pareti, George Konstantinidis, Timothy J. Norman +1

Rule-based systems play a critical role in health and safety, where policies created by experts are usually formalised as rules. When dealing with increasingly large and dynamic so…

cs.AI2016★ 6 cited

Integrating Know-How into the Linked Data Cloud

Paolo Pareti, Benoit Testu, Ryutaro Ichise +2

This paper presents the first framework for integrating procedural knowledge, or "know-how", into the Linked Data Cloud. Know-how available on the Web, such as step-by-step instruc…

cs.AI2016★ 5 cited

A Linked Data Scalability Challenge: Concept Reuse Leads to Semantic Decay

Paolo Pareti, Ewan Klein, Adam Barker

The increasing amount of available Linked Data resources is laying the foundations for more advanced Semantic Web applications. One of their main limitations, however, remains the…

cs.AI2014★ 1 cited

A Semantic Web of Know-How: Linked Data for Community-Centric Tasks

Paolo Pareti, Ewan Klein, Adam Barker

This paper proposes a novel framework for representing community know-how on the Semantic Web. Procedural knowledge generated by web communities typically takes the form of natural…

cs.AI2014★ 3 cited

Learning Vague Concepts for the Semantic Web

Paolo Pareti, Ewan Klein

Ontologies can be a powerful tool for structuring knowledge, and they are currently the subject of extensive research. Updating the contents of an ontology or improving its interop…