Re: Proposal for ISSUE-1

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

On 05/20/2015 03:08 PM, Arthur Ryman wrote:
> Holger,
> 
> We have ACTION-26.
> 
> I suggest that we accommodate your minimal proposed level of type 
> inferencing, as well as allowing people to specify matching base rdf:type
> triples only.
> 
> As I understand it, you want RDFS subclass inferencing in two places. 1.
> Constrain the type of a value to a class. 2. Scope the application of a
> shape to a class.

I don't think that Holger was actually advocating for RDFS subclass
reasoning.  I believe that instead he was advocating for transitive closure
of rdfs:subClassOf and distributing rdfs:subClassOf over rdf:type.  This is
different from RDFS subclass inferencing.

> Let's have the following two pairs of properties:
> 
> 1. No inferencing - match rdf:type directly sh:valueType sh:scopeType
> 
> 2. Follow rdfs:subClassOf triples (match the SPARQL property path 
> rdf:type/rdfs:subClassOf*) sh:valueClass sh:scopeClass
> 
> The benefit of this approach is that we avoid defining a new entailment
> regime, and depending on the triple store to implement it.

I don't think that there was any support for having SPARQL engines implement
a new entailment regime.

> In addition, I suggest we add a new metadata property sh:assumes on 
> Shapes to signal that the shape assumes an entailment regime. We identify
> the entailment regimes using the IRIs defined by SPARQL 1.1. [1]
> 
> [1] http://www.w3.org/TR/2013/REC-sparql11-entailment-20130321/

So in a particular constraint graph there can be shapes that assume
different entailment regimes?  How can this be effected?

> -- Arthur


peter

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJVXdaPAAoJECjN6+QThfjz8qAIAMvAQlsTaEvrUTob5kv6jWhl
KGpRNZN0TVl4M32toFCW+F4EohBJhkFQ4OaRCtnCqb68Ra6WxusEXSX6cDN7xp8B
kHJdKjyBLtZSQ9q1AxBbOC/bEYz0VL8AZ7KQvCkCNRYHjSABdJqRhi/pso3QMzGb
8a4lDRn2IE30A3+wawh7qWCjCGLnBUPWITkfphTiJXMdFrKMyv41Tz2HdyAmp6hU
qDjc/RolrTwM1vW2VfYsg/9MQuzEx0jJr7WoE/pEegOhMLGDR1JiPbI+/p0haVDg
c54BaCkj81bBlAaH2rrrADzcYyjhNhG6hWgOegDn1TGnlK0qb9IxFyrxZVXb/nE=
=12T6
-----END PGP SIGNATURE-----

Received on Thursday, 21 May 2015 12:59:26 UTC