ISSUE-176: Should SHACL include a (simple) rules feature

Rules

Should SHACL include a (simple) rules feature

State:

CLOSED

Product:

SHACL - SPARQL

Raised by:

Holger Knublauch

Opened on:

2016-08-20

Description:

There is an IMHO very low hanging fruit to make SHACL significantly more interesting and useful for practical applications. Many people from inside and outside of TopQuadrant have approached me why SHACL does not include a rules feature, similar to the spin:rule property in SPIN. I have started a draft for a potential addition to the Entailment chapter:

https://www.w3.org/2014/data-shapes/wiki/Rules

These rules would be an entirely optional part of the SPARQL extension mechanism. However, SHACL would then become much more self-contained and we would have a better response to the question of entailments - for example the OWL RL profile could be represented using these rules, using sh:entailment to point at the graph containing the rules. More importantly, such rules would allow us to cover much more use cases, i.e. any scenario that requires constructing additional triples prior to validation. (And of course non-validation use cases such as data integration and transformation, which are the bread-and-butter of many IT businesses).

Related Actions Items:

No related actions

Related emails:

1. Re: Remaining issues with impact on the syntax (from holger@topquadrant.com on 2016-11-16)
2. Re: Remaining issues with impact on the syntax (from kcoyle@kcoyle.net on 2016-11-15)
3. Re: Remaining issues with impact on the syntax (from holger@topquadrant.com on 2016-11-15)
4. Re: Remaining issues with impact on the syntax (from kcoyle@kcoyle.net on 2016-11-14)
5. Re: Remaining issues with impact on the syntax (from holger@topquadrant.com on 2016-11-14)
6. Re: Remaining issues with impact on the syntax (from eric@w3.org on 2016-11-13)
7. Re: Remaining issues with impact on the syntax (from kcoyle@kcoyle.net on 2016-11-13)
8. Remaining issues with impact on the syntax (from holger@topquadrant.com on 2016-11-11)
9. Re: ISSUE-71 (was: ISSUE-176: Rules will not modify the data graph) (from eric@w3.org on 2016-09-06)
10. ISSUE-71 (was: ISSUE-176: Rules will not modify the data graph) (from holger@topquadrant.com on 2016-09-06)
11. Re: ISSUE-176: Rules will not modify the data graph (from kcoyle@kcoyle.net on 2016-09-05)
12. Re: ISSUE-176: Rules will not modify the data graph (from holger@topquadrant.com on 2016-09-05)
13. Re: ISSUE-176: Rules will not modify the data graph (from kcoyle@kcoyle.net on 2016-09-04)
14. ISSUE-176: Rules will not modify the data graph (from holger@topquadrant.com on 2016-09-01)
15. RDF Data Shapes WG agenda for 25 August 2016 (from eric@w3.org on 2016-08-24)
16. shapes-ISSUE-176 (Rules): Should SHACL include a (simple) rules feature [SHACL - SPARQL] (from sysbot+tracker@w3.org on 2016-08-20)

Related notes:

Display change log