Search Results for author: Paolo Pareti

Found 10 papers, 2 papers with code

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

no code implementations2 Dec 2021 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.

valid

Satisfiability and Containment of Recursive SHACL

no code implementations30 Aug 2021 Paolo Pareti, George Konstantinidis, Fabio Mogavero

Using this logic we provide a detailed map of (un)decidability and complexity results for the satisfiability and containment decision problems for different SHACL fragments.

Formal Logic

SHACL Satisfiability and Containment (Extended Paper)

no code implementations31 Aug 2020 Paolo Pareti, George Konstantinidis, Fabio Mogavero, Timothy J. Norman

We study the interaction of SHACL features in this logic and provide the detailed map of decidability and complexity results of the aforementioned decision problems for different SHACL sublanguages.

Translation

A Policy Editor for Semantic Sensor Networks

no code implementations15 Nov 2019 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.

SHACL Constraints with Inference Rules

1 code implementation1 Nov 2019 Paolo Pareti, George Konstantinidis, Timothy J. Norman, Murat Şensoy

On the one hand, SHACL constraints can be used to define a "schema" for graph datasets.

Rule Applicability on RDF Triplestore Schemas

1 code implementation2 Jul 2019 Paolo Pareti, George Konstantinidis, Timothy J. Norman, Murat Şensoy

Output schemas model the graphs that would be obtained by running the rules on the graph models of the input schema.

Integrating Know-How into the Linked Data Cloud

no code implementations15 Apr 2016 Paolo Pareti, Benoit Testu, Ryutaro Ichise, Ewan Klein, Adam Barker

We describe a framework for representing generic know-how as Linked Data and for automatically acquiring this representation from existing resources on the Web.

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

no code implementations5 Mar 2016 Paolo Pareti, Ewan Klein, Adam Barker

In this paper we focus on a measure of quality which is negatively affected by the increase of the available resources.

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

no code implementations29 Oct 2014 Paolo Pareti, Ewan Klein, Adam Barker

This paper proposes a novel framework for representing community know-how on the Semantic Web.

Learning Vague Concepts for the Semantic Web

no code implementations19 Oct 2014 Paolo Pareti, Ewan Klein

Ontologies can be a powerful tool for structuring knowledge, and they are currently the subject of extensive research.

Cannot find the paper you are looking for? You can Submit a new open access paper.