Skip to content

Test links wg name #131

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.

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
merged 2 commits into from
Jun 19, 2025
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
2 changes: 1 addition & 1 deletion CONTRIBUTING.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# RDF-star Working Group
# RDF & SPARQL Working Group

Contributions to this repository are intended to become part of Recommendation-track documents governed by the
[W3C Patent Policy](https://www.w3.org/Consortium/Patent-Policy-20040205/) and
Expand Down
6 changes: 3 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@

# Specification 'rdf-semantics'

This is the repository for the **_RDF Semantics_** deliverable of the [RDF-star Working Group](https://www.w3.org/groups/wg/rdf-star).
This is the repository for the **_RDF Semantics_** deliverable of the [RDF & SPARQL Working Group](https://www.w3.org/groups/wg/rdf-star).
The editors’ draft of the specification can also be [read directly](https://w3c.github.io/rdf-semantics/spec/).

## Contributing to the Repository
Expand All @@ -12,9 +12,9 @@ Editorial changes that improve the readability of the spec or correct spelling o

Please read [CONTRIBUTING.md](CONTRIBUTING.md), about licensing contributions.

## RDF-star Working Group Repositories
## RDF & SPARQL Working Group Repositories

This repository contains one of ten RDF 1.2 and twelve SPARQL 1.2 documents produced by the [RDF-star Working Group](https://www.w3.org/groups/wg/rdf-star).
This repository contains one of ten RDF 1.2 and twelve SPARQL 1.2 documents produced by the [RDF & SPARQL Working Group](https://www.w3.org/groups/wg/rdf-star).

### RDF 1.2 Documents:
* [RDF12-NEW][]
Expand Down
2 changes: 1 addition & 1 deletion spec/common/CONTRIBUTING.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# RDF-star Working Group
# RDF & SPARQL Working Group

Contributions to this repository are intended to become part of Recommendation-track documents governed by the
[W3C Patent Policy](https://www.w3.org/Consortium/Patent-Policy-20040205/) and
Expand Down
4 changes: 2 additions & 2 deletions spec/common/local-biblio.js
Original file line number Diff line number Diff line change
Expand Up @@ -88,7 +88,7 @@ var localBibliography = {
},
"SPARQL12-NEW": {
"authors": [
"The W3C RDF-star Working Group"
"The W3C RDF & SPARQL Working Group"
],
"href": "https://w3c.github.io/sparql-new/spec/",
"title": "What’s New in SPARQL 1.2",
Expand All @@ -98,7 +98,7 @@ var localBibliography = {
},
"SPARQL12-CONCEPTS": {
"authors": [
"The W3C RDF-star Working Group"
"The W3C RDF & SPARQL Working Group"
],
"href": "https://w3c.github.io/sparql-concepts/spec/",
"title": "SPARQL 1.2 Concepts",
Expand Down
95 changes: 51 additions & 44 deletions spec/common/participants.html
Original file line number Diff line number Diff line change
@@ -1,44 +1,51 @@
Members of the RDF-star Working Group Group included
Vladimir Alexiev,
Amin Anjomshoaa,
Julián Arenas-Guerrero,
Dörthe Arndt,
Bilal Ben Mahria,
Erich Bremer,
Kurt Cagle,
Rémi Ceres,
Pierre-Antoine Champin,
Souripriya Das,
Daniil Dobriy,
Enrico Franconi,
Jeffrey Phillips Freeman,
Fabien Gandon,
Benjamin Goering,
Adrian Gschwend,
Olaf Hartig,
Timothée Haudebourg,
Ian Horrocks,
Gregg Kellogg,
Mark Kim,
Jose Emilio Labra Gayo,
Ora Lassila,
Richard Lea,
Niklas Lindström,
Pasquale Lisena,
Thomas Lörtsch,
Matthew Nguyen,
Peter Patel-Schneider,
Thomas Pellissier Tanon,
Dave Raggett,
Jean-Yves ROSSI,
Felix Sasaki,
Andy Seaborne,
Ruben Taelman,
Ted Thibodeau Jr,
Dominik Tomaszuk,
Raphaël Troncy,
William Van Woensel,
Gregory Williams,
Jesse Wright,
Achille Zappa, and
Antoine Zimmermann.
Members of the RDF & SPARQL Working Group Group included
Vladimir Alexiev,
James Anderson,
Amin Anjomshoaa,
Julián Arenas-Guerrero,
Dörthe Arndt,
Bilal Ben Mahria,
Erich Bremer,
Dan Brickley,
Kurt Cagle,
Sarven Capadisli,
Rémi Ceres,
Pierre-Antoine Champin,
David Chaves-Fraga,
Souripriya Das,
Daniil Dobriy,
Enrico Franconi,
Jeffrey Phillips Freeman,
Fabien Gandon,
Benjamin Goering,
Damien Graux,
Adrian Gschwend,
Olaf Hartig,
Timothée Haudebourg,
Ian Horrocks,
Gregg Kellogg,
Mark Kim,
Jose Emilio Labra Gayo,
Ora Lassila,
Richard Lea,
Niklas Lindström,
Pasquale Lisena,
Thomas Lörtsch,
Matthew Nguyen,
Peter Patel-Schneider,
Thomas Pellissier Tanon,
Dave Raggett,
Jean-Yves ROSSI,
Felix Sasaki,
Andy Seaborne,
Alan Snyder,
Stuart Sutton,
Ruben Taelman,
Ted Thibodeau Jr,
Dominik Tomaszuk,
Raphaël Troncy,
William Van Woensel,
Gregory Williams,
Jesse Wright,
Achille Zappa, and
Antoine Zimmermann.
2 changes: 1 addition & 1 deletion spec/common/participants.js
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ const groupOptions = {

const userOptions = {
hostname: 'api.w3.org',
path: `/groups/${GROUP}/users?items=50${apikey}`,
path: `/groups/${GROUP}/users?items=50${apikey}&former=true`,
headers: {
'Accept': 'application/json'
}
Expand Down
31 changes: 26 additions & 5 deletions spec/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -7,11 +7,21 @@
<script src="./common/local-biblio.js" class="remove"></script>
<script src="./common/fixup.js" class="remove"></script>
<script class='remove'>
// Use fragment identifier of test as name.
function data_test_display() {
const test_references = document.querySelectorAll('details.respec-tests-details a');
for( const a of test_references ) {
const href = a.href;
const test_reference = href.split('#')[1];
a.textContent = test_reference;
}
}

var respecConfig = {
localBiblio: localBibliography,
specStatus: "ED",
edDraftURI: "https://w3c.github.io/rdf-semantics/spec/",
testSuiteURI: "https://w3c.github.io/rdf-tests/rdf-mt/",
testSuiteURI: "https://w3c.github.io/rdf-tests/rdf/rdf12/",
shortName: "rdf12-semantics",
copyrightStart: "2004",

Expand All @@ -34,7 +44,7 @@
doJsonLd: true,
wgPublicList: "public-rdf-star-wg",
xref: [ "RDF12-CONCEPTS" ],
// localBiblio: localBibliography,
postProcess: [data_test_display],

lint: { "no-unused-dfns": false }
};
Expand Down Expand Up @@ -630,12 +640,19 @@ <h3>Properties of simple entailment and satisfiability</h3>

<p class="fact">Every graph is simply <a>satisfiable</a>.</p>

<p>This does not always hold for extended notions of interpretation.
<p id="ill-typed-tests" data-tests="
../rdf11/rdf-mt/index.html#datatypes-non-well-formed-literal-2,
../rdf11/rdf-mt/index.html#xmlsch-02-whitespace-facet-1,
../rdf11/rdf-mt/index.html#xmlsch-02-whitespace-facet-2,
../rdf11/rdf-mt/index.html#xmlsch-02-whitespace-facet-4">
This does not always hold for extended notions of interpretation.
For example, a graph containing an <a>ill-typed</a> literal is <a>D-unsatisfiable</a>.</p>

<p>The following <dfn>interpolation</dfn> <strong>lemma</strong> </p>

<p class="fact">G <a>simply entails</a> a graph E if and only if a <a>subgraph</a> of G is an instance of E.</p>
<p id="interpolation-lemma-tests" class="fact" data-tests="
rdf-semantics/index.html#all-identical-triple-terms-are-the-same">
G <a>simply entails</a> a graph E if and only if a <a>subgraph</a> of G is an instance of E.</p>

<p>completely characterizes simple entailment in syntactic
terms. To detect whether one RDF graph <a>simply entails</a> another, check that
Expand Down Expand Up @@ -832,7 +849,11 @@ <h2>D-interpretations</h2>
<table>
<caption>Semantic conditions for literals.</caption>
<tbody>
<tr><td class="semantictable">If <code>rdf:langString</code> is in D,
<tr><td id="d-int-langString-tests" class="semantictable" data-tests="
../rdf11/rdf-mt/index.html#tex-01-language-tag-case-1,
../rdf11/rdf-mt/index.html#tex-01-language-tag-case-2,
rdf-semantics/index.html#opaque-language-string-control">
If <code>rdf:langString</code> is in D,
then for every language-tagged string E with lexical form sss and language tag ttt,
IL(E)= &lt; sss, ttt' &gt;, where ttt' is ttt converted to lower case using US-ASCII rules</td></tr>
<tr><td class="semantictable">If <code>rdf:dirLangString</code> is in D,
Expand Down
Loading