Re: using classes to control constraints

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

So this is another difference between shapes/constraints and classes.

peter


On 02/11/2015 08:16 PM, Irene Polikoff wrote:
> There is no interaction with entailment or querying. The data is what it
> is.
> 
> Constraints describe what the data should be in order to pass the
> validation. They are used to validate the data that is available. They
> don't change the data.
> 
> On Wed, Feb 11, 2015 at 7:38 PM, Peter F. Patel-Schneider 
> <pfpschneider@gmail.com <mailto:pfpschneider@gmail.com>> wrote:
> 
> 
> 
> On 02/11/2015 04:16 PM, Irene Polikoff wrote:
>> When is it supposed to be checked?
> 
>> When constraint checking/data validation is invoked
> 
> Only then?  What is the interaction with entailment?  And querying?
> 
>> What reporting needs to be done?
> 
>> As I recall, there has been a discussion about what should be returned 
>> and a few people provided examples of the kind of reporting they want.
>> It has been captured in the LDOM document.
> 
> That was for explicit invocation of validation.   If type assertions can
> be made to shapes then I think that much more needs to be done.
> 
>> Why are you asking?
> 
> Because, explicit typing to shapes needs to be integrated into the rest
> of RDF, RDFS, and SPARQL.
> 
> 
> peter
> 
> 
>> On Wed, Feb 11, 2015 at 4:17 PM, Peter F. Patel-Schneider 
>> <pfpschneider@gmail.com <mailto:pfpschneider@gmail.com>
> <mailto:pfpschneider@gmail.com <mailto:pfpschneider@gmail.com>>> wrote:
> 
>> So there is in an error in an RDF graph.  How is that supposed to
>> work? When is it supposed to be checked?  What reporting needs to be
>> done?
> 
>> peter
> 
> 
>> On 02/11/2015 01:08 PM, Irene Polikoff wrote:
>>> It is intended for validation and works over data that exists. So,
>>> if ex:a is not ex:p ex:q, there is an error.
> 
>>> On Wed, Feb 11, 2015 at 1:49 PM, Peter F. Patel-Schneider 
>>> <pfpschneider@gmail.com <mailto:pfpschneider@gmail.com>
> <mailto:pfpschneider@gmail.com <mailto:pfpschneider@gmail.com>>
>> <mailto:pfpschneider@gmail.com <mailto:pfpschneider@gmail.com>
> <mailto:pfpschneider@gmail.com <mailto:pfpschneider@gmail.com>>>> wrote:
> 
> 
> 
>>> On 02/11/2015 10:42 AM, Irene Polikoff wrote:
>>>> <What would it mean to assert that an object belongs to a shape
>>>> via an rdf:type link?>
> 
>>>> I believe it would mean that constraints defined for the shape
>>>> apply to the object.
> 
> 
>>> So I can infer things from this assertion?  For example, if ex:shape 
>>> requires that the value of ex:p be ex:q then does ex:a rdf:type 
>>> ex:shape . imply ex:a ex:p ex:q .
> 
>>> peter
> 
> 
> 
> 
> 
> 
> 
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBAgAGBQJU3JbmAAoJECjN6+QThfjzcf0H/iRRUNJPL+Rax4alvAMt25Mu
3XKujvJr5a1Lv2TNjxB/YyjXDMqkj0/re1XU53MbelHQPvl18mCHkQWU8S/T0Pr6
5gffSLCl1IucgG/iSsbcbI+zvW5rY3TjqaSNJDKSjbaWVUqlDt7wQOCHeKgIkaim
6YVg8CGxCv3vaudmW9gZZ3Yy0fsvCzRBirE4CtdxHISGgXRtQGdVIcOzAlh1ctTZ
54JQjVEjIfNKVmHr5zohPiKFEVA4ZchL5IsBbLoSOKuzRaC61ucIAaMdBI4dcdHF
6CPIPMIU5wOIFJxNGV6U/gHzSvk5DBhKNcEVb1uhoM5MP97LaRFOynUzB6UpJ48=
=gDh5
-----END PGP SIGNATURE-----

Received on Thursday, 12 February 2015 12:05:27 UTC