ISSUE-3: How is a shape associated with a graph?

Shape association

How is a shape associated with a graph?

State:
CLOSED
Product:
SHACL Spec
Raised by:
Arnaud Le Hors
Opened on:
2014-11-18
Description:
This ticket is about the various ways to make connections between RDF graphs or portions of RDF graphs and constraints (or shapes) to be validated against that graph or portions thereof.

See https://www.w3.org/2014/data-shapes/wiki/ISSUE-3:_Graph_Shape_Association
Related Actions Items:
No related actions
Related emails:
  1. Re: Proposal to close ISSUE-3 and ISSUE-44 (from holger@topquadrant.com on 2015-08-31)
  2. Re: Proposal to close ISSUE-3 and ISSUE-44 (from arthur.ryman@gmail.com on 2015-08-31)
  3. Re: Proposal to close ISSUE-3 and ISSUE-44 (from holger@topquadrant.com on 2015-08-05)
  4. Re: Proposal to close ISSUE-3 and ISSUE-44 (from holger@topquadrant.com on 2015-08-05)
  5. Re: Proposal to close ISSUE-3 and ISSUE-44 (from pfpschneider@gmail.com on 2015-08-04)
  6. Re: Proposal to close ISSUE-3 and ISSUE-44 (from pfpschneider@gmail.com on 2015-08-04)
  7. Re: Proposal to close ISSUE-3 and ISSUE-44 (from eric@w3.org on 2015-07-28)
  8. Proposal to close ISSUE-3 and ISSUE-44 (from holger@topquadrant.com on 2015-07-28)
  9. Re: RDF Data Shapes WG agenda for 23 July 2015 (from holger@topquadrant.com on 2015-07-23)
  10. Re: ISSUE-3 how to specify the shape information and the data information (from holger@topquadrant.com on 2015-05-22)
  11. Re: ISSUE-3 how to specify the shape information and the data information (from arthur.ryman@gmail.com on 2015-05-21)
  12. ISSUE-3 how to specify the shape information and the data information (from pfpschneider@gmail.com on 2015-05-21)
  13. Re: AW: Re: Adding info of issue id to wiki pages (from holger@topquadrant.com on 2014-12-13)
  14. Re: AW: Re: Adding info of issue id to wiki pages (from pfpschneider@gmail.com on 2014-12-12)
  15. AW: Re: Adding info of issue id to wiki pages (from ssteyska@wu.ac.at on 2014-12-12)
  16. Re: Adding info of issue id to wiki pages (from pfpschneider@gmail.com on 2014-12-12)
  17. Re: Adding info of issue id to wiki pages (from pfpschneider@gmail.com on 2014-12-12)
  18. Re: Adding info of issue id to wiki pages (from ssteyska@wu.ac.at on 2014-12-12)
  19. Re: Adding info of issue id to wiki pages (from holger@topquadrant.com on 2014-12-12)
  20. Adding info of issue id to wiki pages (from ssteyska@wu.ac.at on 2014-12-12)
  21. Re: shapes-ACTION-4: Create new wiki page for issue-3, seeded with his email message (from pfpschneider@gmail.com on 2014-12-04)
  22. Re: shapes-ACTION-4: Create new wiki page for issue-3, seeded with his email message (from eric@w3.org on 2014-12-04)
  23. Re: shapes-ACTION-4: Create new wiki page for issue-3, seeded with his email message (from pfpschneider@gmail.com on 2014-12-04)
  24. shapes-ACTION-4: Create new wiki page for issue-3, seeded with his email message (from sysbot+tracker@w3.org on 2014-12-04)
  25. shapes-ACTION-3: Will create a new issue to describe the aspect of issue-3 that discuss the nature of shape resources (from sysbot+tracker@w3.org on 2014-12-04)
  26. Re: rdfdatashapestracker-ISSUE-3 (Shape association): How is a shape associated with a graph? (from pfpschneider@gmail.com on 2014-12-04)
  27. Re: rdfdatashapestracker-ISSUE-3 (Shape association): How is a shape associated with a graph? (from pfpschneider@gmail.com on 2014-12-04)
  28. Re: rdfdatashapestracker-ISSUE-3 (Shape association): How is a shape associated with a graph? (from eric@w3.org on 2014-12-04)
  29. Re: rdfdatashapestracker-ISSUE-3 (Shape association): How is a shape associated with a graph? (from kontokostas@informatik.uni-leipzig.de on 2014-12-04)
  30. Re: rdfdatashapestracker-ISSUE-3 (Shape association): How is a shape associated with a graph? (from eric@w3.org on 2014-12-03)
  31. Re: rdfdatashapestracker-ISSUE-3 (Shape association): How is a shape associated with a graph? (from holger@topquadrant.com on 2014-12-03)
  32. Re: rdfdatashapestracker-ISSUE-3 (Shape association): How is a shape associated with a graph? (from pfpschneider@gmail.com on 2014-12-02)
  33. rdfdatashapestracker-ISSUE-3 (Shape association): How is a shape associated with a graph? (from sysbot+tracker@w3.org on 2014-11-18)

Related notes:

Presumably a shape is associated with an instance graph by one of two means:
1/ the shape is in a document that points at an RDF graph (or document)
2/ a call is made to the shape-checking machinery providing both a shape (or shapes) and an RDF graph (or document).
Neither of these appear to have anything about typing.

A separate question is, given a shape and something to be checked (an RDF graph or a document), what sort of things is the shape checked against? Some proposals are type-based, i.e., they determine which things to check based on their membership (under some meaning of membership) in some named class (possibly provided by the shape). Some proposals determine which things to check not based on class membership, e.g., the presence of properties. Some proposals are description-based, i.e., they determine which things to check against based on matching a description, which can be a named class but can also be other things.

Peter Patel-Schneider, 18 Nov 2014, 17:46:13

Instance graph is, as of yet, an undefined term. It may be that the thing that shapes are checked against is an RDF graph that contains subclass and subproperty links that serve to define an ontology.

Peter Patel-Schneider, 18 Nov 2014, 17:48:10

RESOLVED: Close ISSUE-3, specifying that a SHACL processor is invoked with an RDF dataset (or RDF graph) as its data and a shapes graph for control, per Holger's email
See: http://www.w3.org/2015/08/06-shapes-minutes.html#resolution03

Arnaud Le Hors, 7 Aug 2015, 17:42:02

Display change log ATOM feed

Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 3.html,v 1.1 2018/11/26 09:03:37 carine Exp $