Search Results for author:
Found 7 papers, 2 papers with code
A Review of SHACL: From Data Validation to Schema Reasoning for RDF Graphs
We present an introduction and a review of the Shapes Constraint Language (SHACL), the W3C recommendation language for validating RDF data.
Satisfiability and Containment of Recursive SHACL
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.
SHACL Satisfiability and Containment (Extended Paper)
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.
A Policy Editor for Semantic Sensor Networks
An important use of sensors and actuator networks is to comply with health and safety policies in hazardous environments.
SHACL Constraints with Inference Rules
On the one hand, SHACL constraints can be used to define a "schema" for graph datasets.
Rule Applicability on RDF Triplestore Schemas
Output schemas model the graphs that would be obtained by running the rules on the graph models of the input schema.
The Bag Semantics of Ontology-Based Data Access
The ontology is linked to the sources using mappings, which assign views over the data to ontology predicates.
