Validate INSERT queries

[labra]

A typical use case for RDF validation is to validate the RDF data that one wants to insert in a Triplestore.

As an example, imagine want wants to do the following:

INSERT DATA {
 GRAPH <http://example.org/> {
     <http://example.org/node1> <http://example.org/p> 1
 }
}

and there is a shape <S> such as:

prefix xsd: <http://www.w3.org/2001/XMLSchema#>

<S> { 
 <http://example.org/p> xsd:integer  
}

It would be nice to provide directly the INSERT query to the validator before inserting it in the triplestore.

There are two issues to take into account:

• We should parse the INSERT query and maybe assume it is only adding one node, which is the one we want to validate. We should restrict what things can appear in the TripleTemplates to avoid, for example variables.
• We should assume that we validate the node in the INSERT query before inserting it in the triplestore...notice that if the node already contains triples in the triplestore, the results of the validation could be affected.

If there enough interest for this use case, we could implement it as we already have some of the building blocks, mainly, the SPARQL parser from Oxigraph, which could be used to extract the RDF data.

[MarcAntoine-Arnaud]

Some code is already there to handle first point: for SHACL here and SRDFSparql for Shex as the validator ask for a SRDF (reference)