Re: using classes to control constraints

When is it supposed to be checked?

When constraint checking/data validation is invoked

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.

Why are you asking?

On Wed, Feb 11, 2015 at 4:17 PM, Peter F. Patel-Schneider <
pfpschneider@gmail.com> wrote:

> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
>
> 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>> 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
>
> iQEcBAEBAgAGBQJU28bOAAoJECjN6+QThfjzFkwIAL3Tgczbpd3dKs45a6PkmJdq
> XWUxt8fuZSoUo2pS0r6du4MIaZWjYJMXBmVO/7ddJurOcBx/IOIMENUV3nyg4G6b
> iYbh5gIqufLHtmG57l2vQbgrJtklilE0D/jUxAPuksyFvGvqoD0nEhM8igqmYGk1
> 5utybZHqHdL1/C7XEbMBl19Of91ax5NXh/ZnYxZHZJc5Q1e/l7BGo/S6HRcmVzMW
> N96D91SCKpBJkdkLD7fnbJQrcVMiPQJfugXongvarFEGRhPz1ZFv69RvJshrfULA
> sgnUmUHun3S9bi6pxJbtQh0QNw20MAkp/QOwV2brX5IvnS191SYmzKaK/0Xb6SY=
> =YG+J
> -----END PGP SIGNATURE-----
>