Re: ISSUE-105: Prefixes in SPARQL fragments

A better explanation, perhaps:

On 5/6/16 10:13 PM, Holger Knublauch wrote:
>> At the same time, I understand the immediate need. I think we need,
>> however, to clarify what we expect in the pre-SHACL process on both
>> shapes and data graphs. Already there is the decision that rdf:type
>> statements must be explicit in both graphs, even though that implies
>> some pre-processing.
>
> Usually no pre-processing of the data graph is needed. The language is
> designed so that it walks the subclass hierarchy in a couple of
> important places, making the (expensive and often even impractical)
> pre-processing of rdf:type triples unnecessary.

The requirement that rdf:type declarations be explicit, because no 
inferencing will be done on domains and ranges in the data graph's 
defined vocabulary, implies that in some cases the data graph will need 
to be pre-processed so that the rdf:type declarations are there in the 
graph. We have talked about this. SHACL has some expectations, and how 
one gets ones data to meet those expectations is out of band.

How does SHACL walk the subclass hierarchy unless that information is in 
the data graph? Carrying those declarations in a data graph, in my 
experience, would be unusual.

kc
-- 
Karen Coyle
kcoyle@kcoyle.net http://kcoyle.net
m: 1-510-435-8234
skype: kcoylenet/+1-510-984-3600

Received on Saturday, 7 May 2016 16:36:15 UTC