Skip to content

Formal evaluation semantics aligned with REST-VKG: flat sequences, XSLT focus, SPARQL/XPath conformance #25

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

Merged
namedgraph merged 15 commits into from
Oct 3, 2026
Merged

Formal evaluation semantics aligned with REST-VKG: flat sequences, XSLT focus, SPARQL/XPath conformance #25

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
2d70a17
Add architecture evaluation with REST-VKG comparison and improvement …
namedgraph Jul 12, 2026
601b1aa
Make formal-semantics.md a real semantics and align implementation an…
namedgraph Jul 12, 2026
708386e
Conform string operations to SPARQL 1.1 / XPath F&O — no divergences
namedgraph Jul 12, 2026
166a8db
Sync uv.lock with version 1.5.0
namedgraph Jul 12, 2026
291804b
Remove the document envelope
namedgraph Jul 12, 2026
d7382db
Add the formal evaluation definition and the XSLT focus (Position, Last)
namedgraph Jul 12, 2026
a5b4b4e
Close Value's focus-item lookup to Binding + mapping
namedgraph Jul 12, 2026
9f7b3fb
Close the remaining semantics gaps: RDF response contract, Result per…
namedgraph Jul 12, 2026
35989e7
Port Iterate from REST-VKG: stateful iteration with parameter passing
namedgraph Jul 12, 2026
175e25c
Bump version to 2.0.0
namedgraph Jul 12, 2026
c34c022
Python code health: exception taxonomy, HTTP-client mixin, honest con…
namedgraph Jul 12, 2026
d02980a
Flat sequences, Filter by name, graph-queried SELECT/CONSTRUCT/DESCRI…
namedgraph Oct 1, 2026
f5935c9
A refused write is an error; If-Match is transport
namedgraph Oct 1, 2026
44ae672
Extension families carry their own namespace; the result-document rul…
namedgraph Oct 1, 2026
2698d97
The Python algebra catches up with REST-VKG; §5 says what each serial…
namedgraph Oct 3, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 4 additions & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -68,10 +68,12 @@ The operations cover read-write Linked Data, SPARQL queries, URI manipulation, a
- `Value`
- `Variable`
- `ForEach`
- `Iterate`
- `Filter`
- `Bindings`
- `Current`
- `Execute`
- `Position`
- `Last`
- `Merge`
- LinkedDataHub-specific
- `ldh-CreateContainer`
Expand All @@ -81,6 +83,7 @@ The operations cover read-write Linked Data, SPARQL queries, URI manipulation, a
- `ldh-AddGenericService`
- `ldh-AddResultSetChart`
- `ldh-AddSelect`
- `ldh-AddConstruct`
- `ldh-AddView`
- `ldh-AddObjectBlock`
- `ldh-AddXHTMLBlock`
Expand Down
390 changes: 390 additions & 0 deletions architecture-evaluation.md
View file
Open in desktop

Large diffs are not rendered by default.

1,300 changes: 1,008 additions & 292 deletions formal-semantics.md
View file
Open in desktop

Large diffs are not rendered by default.

186 changes: 135 additions & 51 deletions prompts/system.md
View file
Open in desktop

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[project]
name = "web-algebra"
version = "1.5.0"
version = "2.0.0"
description = "Composable RDF operations in JSON"
readme = "README.md"
license = "Apache-2.0"
Expand Down
Loading
Loading