- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Wed, 24 Jun 2015 12:47:04 -0700
- To: Holger Knublauch <holger@topquadrant.com>, public-data-shapes-wg <public-data-shapes-wg@w3.org>
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 On 06/18/2015 03:07 PM, Holger Knublauch wrote: > 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 Why would this only be for SPARQL? If an entailment regime is used, it should be used for all relevant SHACL constructs, such as sh:valueType. > 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 The > SPARQL implementation does not match how subclasses are defined in any existing W3C specification, assuming that the recipe is exhaustive. > Proposal 3: SHACL shall include another property sh:directValueType that > only matches the directly asserted types (for OSLC use case). What is the definition supporting "directly asserted"? > Proposal 4: sh:scopeClass must also include instances of subclasses, with > its SPARQL implementation using rdfs:subClassOf* The SPARQL implementation does not match how subclasses are defined in any existing W3C specification, assuming that the recipe is exhaustive. > 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). What is "scope of direct instances"? > Holger peter -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAEBCAAGBQJViwk1AAoJECjN6+QThfjztnkH/1XKjOcWqJyzXj5PjtXm2KRL 0/+coQdR1FjSXin1ca8yRiDSaaT8wrBJ6YDtmKsUmx7aFDpviP9JY9jgBdlUOqum on0quUs4DPMibwrY8Rj+joZghlocFcFAYV8NSjdGiSJzq8LJaUC+i58cc7zJ38QN Zq6cMQQNjoeWIjHSqMPxQ+/Growqi+VEnPdlmc6KWbmrOC0WZmytSujTSxUdB583 TeT1BgkKIogRsxlKf/T5VHyk8BDirnUnWSDcAsU8fVdlPMJIEH/5iGAw526G1uSD JSRNDfg8H1XTeYTPcZ7SWGJPH5cBkVeUdt+v8VCWVoiN5NXNKlJQkyeQA3P1aoE= =3Hfk -----END PGP SIGNATURE-----
Received on Wednesday, 24 June 2015 19:47:43 UTC