| Re: [rdf4j-dev] Sponsors |
| Hi Vassil, Is Ontotext interested in sponsoring or contributing to the Eclipse RDF4J ShaclSail? The value in the ShaclSail is that it is incremental. You can take a big database with 500 million triples, add/remove a few triples and validation will only take a few milliseconds. There is no other validation engine like this for SHACL, which is why it’s so fast. There are two very important questions with regards to the SHACL Core. - Can everything be implemented with incremental support? - Will everything be efficient? I don’t know if everything in SHACL Core can be implemented with incremental support, however it will be fairly simple to implement any challenging parts without incremental support. This would then be the answer for the second question, not everything will be efficient but this should not stop us from implementing as much as possible efficiently. The syntax for SHACL is rather bloated yes. I have created SHACL shapes for DCAT, which took a few hours and was hard to check for inconsistencies. For another project one of my coworkers wrote an XSD to SHACL converter, and then we tweaked the SHACL shapes by hand. I am not particularly worried about the terseness of the language. Someone will figure that out if needed. How does ShEx compare to SHACL? Was it a competing standard that died once SHACL became a recommendation? For the benchmark: This is the file I used: https://github.com/eclipse/rdf4j-storage/blob/4596ab2992dae1df880f69e2b94f96fa3416604e/shacl/src/test/resources/complexBenchmark/datagovbe-valid.ttl These are the shapes: https://github.com/eclipse/rdf4j-storage/blob/4596ab2992dae1df880f69e2b94f96fa3416604e/shacl/src/test/resources/complexBenchmark/shacl.ttl The 4 transactions (SPARQL UPDATE) I used: https://github.com/eclipse/rdf4j-storage/tree/4596ab2992dae1df880f69e2b94f96fa3416604e/shacl/src/test/resources/complexBenchmark This is the benchmark file I used: https://github.com/eclipse/rdf4j-storage/blob/4596ab2992dae1df880f69e2b94f96fa3416604e/shacl/src/test/java/org/eclipse/rdf4j/sail/shacl/benchmark/ComplexLargeBenchmark.java Here are the results from my benchmark (on a 5 year old macbook pro) against an open source implementation and a commercial database: https://imgur.com/a/uDTMHKk - First load the big file into the database (if possible), then time how long the transactions take. - “2x add” is transaction 1 & 2 - “1x update” is transaction 4 - “1x delete” is transaction 3 Cheers, Håvard I am not sure if it will be possible to implement the entire SHACL Core as efficient incremental validation.
|