5 papers
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…
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…
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…
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…
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…