Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add evaluation semantics for BGP* and BIND*/FIND into the draft #8

Closed
hartig opened this issue Oct 13, 2020 · 3 comments
Closed

Add evaluation semantics for BGP* and BIND*/FIND into the draft #8

hartig opened this issue Oct 13, 2020 · 3 comments
Assignees
@pchampin
Labels
action Action assigned during a meeting sparql-star About SPARQL-star

Comments

@hartig
Copy link
Collaborator

hartig commented Oct 13, 2020

Currently, the Evaluation Semantics section of the draft is just a copy from the corresponding subsection of the original tech report. The actual definition of the formal semantics of a BGP* and of the SPARQL* version of BIND is in a different part of that tech report (where it defines ⟦B⟧_G and ⟦(tp AS ?v)⟧_G). These definitions still need to be adapted and moved into the Evaluation Semantics section of the draft.
@hartig hartig self-assigned this Oct 13, 2020
This was referenced Oct 13, 2020
Closed
Closed
hartig added a commit that referenced this issue Oct 13, 2020
@hartig
replaced references to issues #4 and #5 by issues #7 and #8
beff2e3
@pchampin pchampin added the sparql-star About SPARQL-star label Nov 10, 2020
@pchampin pchampin added the action Action assigned during a meeting label Nov 20, 2020
hartig added a commit that referenced this issue Nov 25, 2020
@hartig
added some concepts related to SPARQL* solution mappings; needed for #8
2d7b2ed
hartig added a commit that referenced this issue Nov 26, 2020
@hartig
added the evaluation semantics for BGP*; needed for #8
7c37d4a
hartig added a commit that referenced this issue Nov 26, 2020
@hartig
added the evaluation semantics for BIND*; needed for #8
9e78566
@hartig
Copy link
Collaborator Author

hartig commented Nov 26, 2020

I have finished writing up the evaluation semantics for BGP* and for BIND*/FIND. The relevant parts of the draft that I have modified in this context are:

  1. Section 4.1 (Initial Definitions) has been extended with additional definitions; everything that comes after the green box (NOTE) is new.
  2. In Section 4.4 (Evaluation Semantics), I have defined the two base cases (point 1 is for BGP* and point 2 is for BIND*/FIND).

@pchampin
Copy link
Collaborator

pchampin commented Dec 4, 2020

To be added to the agenda of 2020-12-11

@pchampin pchampin assigned pchampin and unassigned hartig Dec 4, 2020
@pchampin
Copy link
Collaborator

This was discussed in today's call: https://w3c.github.io/rdf-star/Minutes/2020-12-11.html#item04

hartig added a commit that referenced this issue Dec 11, 2020
@hartig
Removing the ref to #8 as this is resolved now.
9c340cc
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@pchampin pchampin

Labels
action Action assigned during a meeting sparql-star About SPARQL-star
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@pchampin @hartig