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