Re: using classes to control constraints

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> wrote:

> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
>
>
>
> 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
>
> iQEcBAEBAgAGBQJU26Q+AAoJECjN6+QThfjzX6IH/jKu95V3hEtnisG3hjoxpwlT
> F5ZP9GjdZ6rZpDAfWbThlf8mPpEpTpyKX+ZTiJTy+W78KAS8rkhvInwh2aSeRh3f
> qt2OxqEmc6ewL7VlyMPXsavXpymUsqvkakvbjOVLKb+HS8tyPfbNqzIy3ja/487v
> dE+0sEqoOM/1FBrIY2M3r9t5mEERsD7LVoFl/XXZ+TcCf3q4+5DK5eKi1FmpHxKW
> kxhr1pn1xcX/y8nwzmBjQYlTynNlE10ed60Q2tPWLAnEpaxr199IFTvzwby4G+zZ
> RzxwZe8x6Akx9ooWdA+PHBRkkMeSGZHGP9UkTCTZx5aXDl/062rbASdhnLhZFi0=
> =t1P8
> -----END PGP SIGNATURE-----
>