W3C home > Mailing lists > Public > public-rdf-shapes@w3.org > July 2014

Re: Shapes - sub-classes / sub-properties

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Wed, 16 Jul 2014 22:05:48 -0700
Message-ID: <53C759AC.2090303@gmail.com>
To: Jose Emilio Labra Gayo <jelabra@gmail.com>
CC: Simon Spero <sesuncedu@gmail.com>, Dimitris Kontokostas <kontokostas@informatik.uni-leipzig.de>, "public-rdf-sha." <public-rdf-shapes@w3.org>
On 07/16/2014 09:39 PM, Jose Emilio Labra Gayo wrote:
> On Thu, Jul 17, 2014 at 5:48 AM, Peter F. Patel-Schneider
> <pfpschneider@gmail.com <mailto:pfpschneider@gmail.com>> wrote:
>    [...]

> I think you are right and Shape checking is more low level than constraint
> checking in general. However, I also think there are plenty of practical
> applications where one would like to have some way to declare the shapes of
> RDF graphs in a easy and automatically verifiable way.

Now we may be getting somewhere.

What are these practical applications that you think require shape checking?

My canonical application for constraint checking is that I am writing a 
program to consume RDF graphs, and I want to know that some information is 
explicitly present in that RDF graph.  For example, I want to know that each 
graduate student has a university explicitly given and that that university is 
a research university.

> Best regards, Jose Labra

Received on Thursday, 17 July 2014 05:06:17 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:02:39 UTC