Re: the current situation with respect to ISSUE-134

On 12/04/2016 0:37, Peter F. Patel-Schneider wrote:
> On 04/07/2016 05:53 PM, Holger Knublauch wrote:
>> This is a valid example. The current spec states that
>> - the classes only count as disjoint if they have rdf:type triples (i.e.
>> subtype inference is not applied)
> The spec does not so state.

The new version of the spec includes a different policy (from Dimitris):

However, all constraint types are pairwise disjoint and no more than one 
property of|sh:property|,|sh:inverseProperty|and|sh:constraint|can link 
to the same RDF node within the sameshapes graph.

Holger