shapes-ISSUE-176 (Rules): Should SHACL include a (simple) rules feature [SHACL - SPARQL]

shapes-ISSUE-176 (Rules): Should SHACL include a (simple) rules feature [SHACL - SPARQL]

http://www.w3.org/2014/data-shapes/track/issues/176

Raised by: Holger Knublauch
On product: SHACL - SPARQL

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.

Received on Saturday, 20 August 2016 23:18:55 UTC