activity
20172026
most citedSatisfiability and Containment of Recursive SHACL

13 citations · 22 across the 7 of their papers we have counts for

collaborators

9 papers

cs.DB2026

Attacking Diophantus: Special Cases of Bag Containment

George Konstantinidis, Xinzhuo Li, Fabio Mogavero

Query containment is a fundamental decision problem in database theory: given two queries, determine whether, over all database instances, every answer produced by the first is als…

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…

math.CO2019

On positionality of trigger strategies Nash Equilibria in SCAR

George Konstantinidis, Athanasios Kehagias

We study the positionality of \emph{trigger strategies} Nash equilibria for the -player SCAR games (with ). Our study is exha…

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.DB2019★ 9 cited

Dataset search: a survey

Adriane Chapman, Elena Simperl, Laura Koesten +4

Generating value from data requires the ability to find, access and make sense of datasets. There are many efforts underway to encourage data sharing and reuse, from scientific pub…

cs.AI2017

The Bag Semantics of Ontology-Based Data Access

Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis +3

Ontology-based data access (OBDA) is a popular approach for integrating and querying multiple data sources by means of a shared ontology. The ontology is linked to the sources usin…