Re: using classes to control constraints

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

Received on Wednesday, 11 February 2015 21:17:33 UTC