Specific proposals for ISSUE-1

I suggest we split the topic into several resolutions:


Proposal 1: SHACL should include a property sh:sparqlEntailment that can 
be used to specify a required inferencing level for each SPARQL query, 
as described in http://w3c.github.io/data-shapes/shacl/#sparql-entailment


Proposal 2: sh:valueType must also match subclasses, with its SPARQL 
implementation using rdfs:subClassOf* as described in 
http://w3c.github.io/data-shapes/shacl/#sparql-AbstractValueTypePropertyConstraint


Proposal 3: SHACL shall include another property sh:directValueType that 
only matches the directly asserted types (for OSLC use case).


Proposal 4: sh:scopeClass must also include instances of subclasses, 
with its SPARQL implementation using rdfs:subClassOf*


Proposal 5: SHACL shall include a high-level mechanism to express the 
scope of direct instances. (Details on that depend on our resolution to 
the general scoping topic - I hope we allow templates there).

Holger

Received on Thursday, 18 June 2015 22:08:10 UTC