tw-osthus
commented
3 months ago It has been a long time, since I had done it, but I will try to remember
- The idea of shape libraries is to package shapes into libraries, so that we can do a modularized development of shapes. It is used together with the import. A shape library is very similar to an OWL ontology and works technically in the same way. In fact we now use OWL ontology because of inference from owl:import, but there was quite some discussion, whether the assembly of shapes is an ontology in the OWL sense. For any large scale application of SHACL it is a must to modularize and it felt like a serious gap in the specification
- The inclusion of SPARQL were a result that expressiveness of SHACL alone was not enough for the Allotrope use case. We must for example ensure the unique presence of some nodes in an Allotrope file and use the SHACL SPARQL extension for it. If we support SPARQL, it feels natural to also apply it to select targets. Allotrope uses SPARQL sparingly because it is an extension only, so from the view of many of the Allotrope members, not "official" enough.
- function shapes were inspired from SPIN
- having a syntax for SPARQL allows a much better integration. We do not have a language within a language. XText (and other grammar based code generators) can be used to directly generate code from it and it is so much more powerful, if you have a single parser, that ensures consistency
- graphical operators are a way to make it more compact, at the price that you cannot type them (fast) on your keyboard, so I made them optional. The use of well-known operators can help to make the code more readable and I expect like all models that they are far more often read then written, but where the boundary to obscurity ends can be discussed
VladimirAlexiev
afs
After https://github.com/GuntherRademacher/ebnf-convert/issues/8 was fixed, I was able to process shaclc-XText: https://rawgit2.com/VladimirAlexiev/shacl/shaclc-grammars/shacl-compact-syntax/grammar/shaclc-XText.html
It's much richer than the other candidate grammars, so @tw-osthus can you help us understand it and list all its features? Does such overview already exist? Maybe you have a report or paper with your proposed additions?
I'll tag not just @jeswr but also @HolgerKnublauch and @afs since some of these ideas seem worthy to do in SHACL as well.
Here's what I was able to see from a quick browse, but I understand no more than half of it:
subject, property, object, these rules use Construct, and have an "IF" part (being a shape to check) and PRIORITY"""<sparql query>""")xone, xor), use graphical operators (eg><, ⊻, ⩒)