Re: using classes to control constraints

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

Received on Wednesday, 11 February 2015 18:50:04 UTC