From d1378621a41b3536ccced59736a5ab25cec3832a Mon Sep 17 00:00:00 2001 From: reffy-bot <> Date: Fri, 23 Jun 2023 01:34:00 +0000 Subject: [PATCH] Update of TR report from new reffy run Using reffy commit 13.1.1. --- tr/dfns/rdf12-semantics.json | 1308 +++++++++++++++++++ tr/headings/rdf12-semantics.json | 303 +++++ tr/headings/sparql12-entailment.json | 515 ++++++++ tr/ids/geometry-1.json | 2 +- tr/ids/rdf12-semantics.json | 565 ++++++++ tr/ids/sparql12-entailment.json | 427 ++++++ tr/index.json | 151 ++- tr/links/rdf12-concepts.json | 7 +- tr/links/rdf12-n-quads.json | 8 +- tr/links/rdf12-n-triples.json | 8 +- tr/links/rdf12-schema.json | 7 +- tr/links/rdf12-semantics.json | 142 ++ tr/links/rdf12-turtle.json | 7 +- tr/links/rdf12-xml.json | 8 +- tr/links/sparql12-entailment.json | 217 +++ tr/links/sparql12-federated-query.json | 4 +- tr/links/sparql12-graph-store-protocol.json | 4 +- tr/links/sparql12-protocol.json | 4 +- tr/links/sparql12-query.json | 7 +- tr/links/sparql12-results-csv-tsv.json | 4 +- tr/links/sparql12-results-json.json | 4 +- tr/links/sparql12-results-xml.json | 4 +- tr/links/sparql12-service-description.json | 3 +- tr/links/sparql12-update.json | 4 +- tr/refs/rdf12-semantics.json | 164 +++ tr/refs/sparql12-entailment.json | 164 +++ 26 files changed, 3999 insertions(+), 42 deletions(-) create mode 100644 tr/dfns/rdf12-semantics.json create mode 100644 tr/headings/rdf12-semantics.json create mode 100644 tr/headings/sparql12-entailment.json create mode 100644 tr/ids/rdf12-semantics.json create mode 100644 tr/ids/sparql12-entailment.json create mode 100644 tr/links/rdf12-semantics.json create mode 100644 tr/links/sparql12-entailment.json create mode 100644 tr/refs/rdf12-semantics.json create mode 100644 tr/refs/sparql12-entailment.json diff --git a/tr/dfns/rdf12-semantics.json b/tr/dfns/rdf12-semantics.json new file mode 100644 index 000000000000..a5b3a43f1852 --- /dev/null +++ b/tr/dfns/rdf12-semantics.json @@ -0,0 +1,1308 @@ +{ + "spec": { + "title": "RDF 1.2 Semantics", + "url": "https://www.w3.org/TR/rdf12-semantics/" + }, + "dfns": [ + { + "id": "dfn-semantic-extension", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-semantic-extension", + "linkingText": [ + "semantic extension" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "extensions", + "href": "https://www.w3.org/TR/rdf12-semantics/#extensions", + "title": "Semantic Extensions and Entailment Regimes", + "number": "3" + }, + "definedIn": "prose" + }, + { + "id": "dfn-entailment-regime", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-entailment-regime", + "linkingText": [ + "entailment regime" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "extensions", + "href": "https://www.w3.org/TR/rdf12-semantics/#extensions", + "title": "Semantic Extensions and Entailment Regimes", + "number": "3" + }, + "definedIn": "prose" + }, + { + "id": "dfn-monotonic", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-monotonic", + "linkingText": [ + "monotonic" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "extensions", + "href": "https://www.w3.org/TR/rdf12-semantics/#extensions", + "title": "Semantic Extensions and Entailment Regimes", + "number": "3" + }, + "definedIn": "prose" + }, + { + "id": "dfn-interpretation", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-interpretation", + "linkingText": [ + "interpretation" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "public", + "informative": false, + "heading": { + "id": "notation", + "href": "https://www.w3.org/TR/rdf12-semantics/#notation", + "title": "Notation and Terminology", + "number": "4" + }, + "definedIn": "prose" + }, + { + "id": "dfn-refer-to", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-refer-to", + "linkingText": [ + "refer to" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "notation", + "href": "https://www.w3.org/TR/rdf12-semantics/#notation", + "title": "Notation and Terminology", + "number": "4" + }, + "definedIn": "prose" + }, + { + "id": "dfn-denotation", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-denotation", + "linkingText": [ + "denotation" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "notation", + "href": "https://www.w3.org/TR/rdf12-semantics/#notation", + "title": "Notation and Terminology", + "number": "4" + }, + "definedIn": "prose" + }, + { + "id": "dfn-identify", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-identify", + "linkingText": [ + "identify", + "identified" + ], + "localLinkingText": [ + "identified" + ], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "notation", + "href": "https://www.w3.org/TR/rdf12-semantics/#notation", + "title": "Notation and Terminology", + "number": "4" + }, + "definedIn": "prose" + }, + { + "id": "dfn-name", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-name", + "linkingText": [ + "name" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "notation", + "href": "https://www.w3.org/TR/rdf12-semantics/#notation", + "title": "Notation and Terminology", + "number": "4" + }, + "definedIn": "prose" + }, + { + "id": "dfn-vocabulary", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-vocabulary", + "linkingText": [ + "vocabulary" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "notation", + "href": "https://www.w3.org/TR/rdf12-semantics/#notation", + "title": "Notation and Terminology", + "number": "4" + }, + "definedIn": "prose" + }, + { + "id": "dfn-empty-graph", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-empty-graph", + "linkingText": [ + "empty graph" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "notation", + "href": "https://www.w3.org/TR/rdf12-semantics/#notation", + "title": "Notation and Terminology", + "number": "4" + }, + "definedIn": "prose" + }, + { + "id": "dfn-subgraph", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-subgraph", + "linkingText": [ + "subgraph" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "notation", + "href": "https://www.w3.org/TR/rdf12-semantics/#notation", + "title": "Notation and Terminology", + "number": "4" + }, + "definedIn": "prose" + }, + { + "id": "dfn-proper-subgraph", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-proper-subgraph", + "linkingText": [ + "proper subgraph" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "notation", + "href": "https://www.w3.org/TR/rdf12-semantics/#notation", + "title": "Notation and Terminology", + "number": "4" + }, + "definedIn": "prose" + }, + { + "id": "dfn-ground", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-ground", + "linkingText": [ + "ground" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "notation", + "href": "https://www.w3.org/TR/rdf12-semantics/#notation", + "title": "Notation and Terminology", + "number": "4" + }, + "definedIn": "prose" + }, + { + "id": "dfn-instance", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-instance", + "linkingText": [ + "instance" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "notation", + "href": "https://www.w3.org/TR/rdf12-semantics/#notation", + "title": "Notation and Terminology", + "number": "4" + }, + "definedIn": "prose" + }, + { + "id": "dfn-instance-with-respect-to", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-instance-with-respect-to", + "linkingText": [ + "instance with respect to" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "notation", + "href": "https://www.w3.org/TR/rdf12-semantics/#notation", + "title": "Notation and Terminology", + "number": "4" + }, + "definedIn": "prose" + }, + { + "id": "dfn-proper-instance", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-proper-instance", + "linkingText": [ + "proper instance" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "notation", + "href": "https://www.w3.org/TR/rdf12-semantics/#notation", + "title": "Notation and Terminology", + "number": "4" + }, + "definedIn": "prose" + }, + { + "id": "dfn-lean", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-lean", + "linkingText": [ + "lean" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "notation", + "href": "https://www.w3.org/TR/rdf12-semantics/#notation", + "title": "Notation and Terminology", + "number": "4" + }, + "definedIn": "prose" + }, + { + "id": "dfn-standardize", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-standardize", + "linkingText": [ + "standardize" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "unions_merges", + "href": "https://www.w3.org/TR/rdf12-semantics/#unions_merges", + "title": "Shared blank nodes, unions and merges", + "number": "4.1" + }, + "definedIn": "prose" + }, + { + "id": "dfn-merging", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-merging", + "linkingText": [ + "merging" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "unions_merges", + "href": "https://www.w3.org/TR/rdf12-semantics/#unions_merges", + "title": "Shared blank nodes, unions and merges", + "number": "4.1" + }, + "definedIn": "prose" + }, + { + "id": "dfn-merge", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-merge", + "linkingText": [ + "merge" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "unions_merges", + "href": "https://www.w3.org/TR/rdf12-semantics/#unions_merges", + "title": "Shared blank nodes, unions and merges", + "number": "4.1" + }, + "definedIn": "prose" + }, + { + "id": "dfn-simply-entail", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-simply-entail", + "linkingText": [ + "simply entail", + "simple interpretation" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "simple", + "href": "https://www.w3.org/TR/rdf12-semantics/#simple", + "title": "Simple Interpretations", + "number": "5" + }, + "definedIn": "prose" + }, + { + "id": "dfn-extension", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-extension", + "linkingText": [ + "extension" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "simple", + "href": "https://www.w3.org/TR/rdf12-semantics/#simple", + "title": "Simple Interpretations", + "number": "5" + }, + "definedIn": "prose" + }, + { + "id": "dfn-satisfies", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-satisfies", + "linkingText": [ + "satisfies" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "simpleentailment", + "href": "https://www.w3.org/TR/rdf12-semantics/#simpleentailment", + "title": "Simple Entailment", + "number": "5.2" + }, + "definedIn": "prose" + }, + { + "id": "dfn-satisfiable", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-satisfiable", + "linkingText": [ + "satisfiable" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "simpleentailment", + "href": "https://www.w3.org/TR/rdf12-semantics/#simpleentailment", + "title": "Simple Entailment", + "number": "5.2" + }, + "definedIn": "prose" + }, + { + "id": "dfn-unsatisfiable", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-unsatisfiable", + "linkingText": [ + "unsatisfiable" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "simpleentailment", + "href": "https://www.w3.org/TR/rdf12-semantics/#simpleentailment", + "title": "Simple Entailment", + "number": "5.2" + }, + "definedIn": "prose" + }, + { + "id": "dfn-valid", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-valid", + "linkingText": [ + "valid" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "simpleentailment", + "href": "https://www.w3.org/TR/rdf12-semantics/#simpleentailment", + "title": "Simple Entailment", + "number": "5.2" + }, + "definedIn": "prose" + }, + { + "id": "dfn-invalid", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-invalid", + "linkingText": [ + "invalid" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "simpleentailment", + "href": "https://www.w3.org/TR/rdf12-semantics/#simpleentailment", + "title": "Simple Entailment", + "number": "5.2" + }, + "definedIn": "prose" + }, + { + "id": "dfn-interpolation", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-interpolation", + "linkingText": [ + "interpolation" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "simple_entailment_properties", + "href": "https://www.w3.org/TR/rdf12-semantics/#simple_entailment_properties", + "title": "Properties of simple entailment (Informative)", + "number": "5.3" + }, + "definedIn": "prose" + }, + { + "id": "dfn-skolemization", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-skolemization", + "linkingText": [ + "Skolemization" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "skolemization", + "href": "https://www.w3.org/TR/rdf12-semantics/#skolemization", + "title": "Skolemization (Informative)", + "number": "6" + }, + "definedIn": "prose" + }, + { + "id": "dfn-recognize", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-recognize", + "linkingText": [ + "recognize", + "recognized" + ], + "localLinkingText": [ + "recognized" + ], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "datatypes", + "href": "https://www.w3.org/TR/rdf12-semantics/#datatypes", + "title": "Literals and datatypes", + "number": "7" + }, + "definedIn": "prose" + }, + { + "id": "dfn-datatype-map", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-datatype-map", + "linkingText": [ + "datatype map" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "datatypes", + "href": "https://www.w3.org/TR/rdf12-semantics/#datatypes", + "title": "Literals and datatypes", + "number": "7" + }, + "definedIn": "prose" + }, + { + "id": "dfn-l2v", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-l2v", + "linkingText": [ + "L2V" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "datatypes", + "href": "https://www.w3.org/TR/rdf12-semantics/#datatypes", + "title": "Literals and datatypes", + "number": "7" + }, + "definedIn": "prose" + }, + { + "id": "dfn-value-space", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-value-space", + "linkingText": [ + "value space" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "datatypes", + "href": "https://www.w3.org/TR/rdf12-semantics/#datatypes", + "title": "Literals and datatypes", + "number": "7" + }, + "definedIn": "prose" + }, + { + "id": "dfn-ill-typed", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-ill-typed", + "linkingText": [ + "ill-typed" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "datatypes", + "href": "https://www.w3.org/TR/rdf12-semantics/#datatypes", + "title": "Literals and datatypes", + "number": "7" + }, + "definedIn": "prose" + }, + { + "id": "dfn-d-interpretation", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-d-interpretation", + "linkingText": [ + "D-interpretation" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "D_interpretations", + "href": "https://www.w3.org/TR/rdf12-semantics/#D_interpretations", + "title": "D-interpretations", + "number": "7.1" + }, + "definedIn": "prose" + }, + { + "id": "dfn-d-satisfiable", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-d-satisfiable", + "linkingText": [ + "D-satisfiable" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "D_entailment", + "href": "https://www.w3.org/TR/rdf12-semantics/#D_entailment", + "title": "Datatype entailment", + "number": "7.2" + }, + "definedIn": "prose" + }, + { + "id": "dfn-satisfiable-recognizing-d", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-satisfiable-recognizing-d", + "linkingText": [ + "satisfiable recognizing D" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "D_entailment", + "href": "https://www.w3.org/TR/rdf12-semantics/#D_entailment", + "title": "Datatype entailment", + "number": "7.2" + }, + "definedIn": "prose" + }, + { + "id": "dfn-d-entails", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-d-entails", + "linkingText": [ + "D-entails" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "D_entailment", + "href": "https://www.w3.org/TR/rdf12-semantics/#D_entailment", + "title": "Datatype entailment", + "number": "7.2" + }, + "definedIn": "prose" + }, + { + "id": "dfn-entails-recognizing-d", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-entails-recognizing-d", + "linkingText": [ + "entails recognizing D" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "D_entailment", + "href": "https://www.w3.org/TR/rdf12-semantics/#D_entailment", + "title": "Datatype entailment", + "number": "7.2" + }, + "definedIn": "prose" + }, + { + "id": "dfn-d-unsatisfiability", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-d-unsatisfiability", + "linkingText": [ + "D-unsatisfiability", + "D-unsatisfiable" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "D_entailment", + "href": "https://www.w3.org/TR/rdf12-semantics/#D_entailment", + "title": "Datatype entailment", + "number": "7.2" + }, + "definedIn": "prose" + }, + { + "id": "dfn-rdf-vocabulary", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdf-vocabulary", + "linkingText": [ + "RDF vocabulary" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "rdf_d_interpretations", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdf_d_interpretations", + "title": "RDF Interpretations", + "number": "8" + }, + "definedIn": "table" + }, + { + "id": "dfn-rdf-interpretation", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdf-interpretation", + "linkingText": [ + "RDF interpretation" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "rdf_d_interpretations", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdf_d_interpretations", + "title": "RDF Interpretations", + "number": "8" + }, + "definedIn": "prose" + }, + { + "id": "dfn-rdf-entail", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdf-entail", + "linkingText": [ + "RDF entail" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "rdf_entail", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdf_entail", + "title": "RDF entailment", + "number": "8.1" + }, + "definedIn": "prose" + }, + { + "id": "dfn-rdf-unsatisfiable", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdf-unsatisfiable", + "linkingText": [ + "RDF unsatisfiable" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "rdf_entail", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdf_entail", + "title": "RDF entailment", + "number": "8.1" + }, + "definedIn": "prose" + }, + { + "id": "dfn-rdfd1", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfd1", + "linkingText": [ + "rdfD1" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "rdf_entailment_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdf_entailment_patterns", + "title": "Patterns of RDF entailment (Informative)", + "number": "8.1.1" + }, + "definedIn": "table" + }, + { + "id": "dfn-rdfd2", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfd2", + "linkingText": [ + "rdfD2" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "rdf_entailment_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdf_entailment_patterns", + "title": "Patterns of RDF entailment (Informative)", + "number": "8.1.1" + }, + "definedIn": "table" + }, + { + "id": "dfn-rdfs-vocabulary", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs-vocabulary", + "linkingText": [ + "RDFS vocabulary" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "rdfs_interpretations", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_interpretations", + "title": "RDFS Interpretations", + "number": "9" + }, + "definedIn": "table" + }, + { + "id": "dfn-class", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-class", + "linkingText": [ + "class" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "rdfs_interpretations", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_interpretations", + "title": "RDFS Interpretations", + "number": "9" + }, + "definedIn": "prose" + }, + { + "id": "dfn-rdfs-interpretation", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs-interpretation", + "linkingText": [ + "RDFS interpretation" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "rdfs_interpretations", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_interpretations", + "title": "RDFS Interpretations", + "number": "9" + }, + "definedIn": "prose" + }, + { + "id": "dfn-rdfs-entails", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs-entails", + "linkingText": [ + "RDFS entails" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": false, + "heading": { + "id": "rdfs_entailment", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_entailment", + "title": "RDFS entailment", + "number": "9.2" + }, + "definedIn": "prose" + }, + { + "id": "dfn-rdfs1", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs1", + "linkingText": [ + "rdfs1" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "rdfs_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_patterns", + "title": "Patterns of RDFS entailment (Informative)", + "number": "9.2.1" + }, + "definedIn": "table" + }, + { + "id": "dfn-rdfs2", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs2", + "linkingText": [ + "rdfs2" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "rdfs_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_patterns", + "title": "Patterns of RDFS entailment (Informative)", + "number": "9.2.1" + }, + "definedIn": "table" + }, + { + "id": "dfn-rdfs3", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs3", + "linkingText": [ + "rdfs3" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "rdfs_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_patterns", + "title": "Patterns of RDFS entailment (Informative)", + "number": "9.2.1" + }, + "definedIn": "table" + }, + { + "id": "dfn-rdfs4a", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs4a", + "linkingText": [ + "rdfs4a" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "rdfs_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_patterns", + "title": "Patterns of RDFS entailment (Informative)", + "number": "9.2.1" + }, + "definedIn": "table" + }, + { + "id": "dfn-rdfs4b", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs4b", + "linkingText": [ + "rdfs4b" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "rdfs_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_patterns", + "title": "Patterns of RDFS entailment (Informative)", + "number": "9.2.1" + }, + "definedIn": "table" + }, + { + "id": "dfn-rdfs5", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs5", + "linkingText": [ + "rdfs5" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "rdfs_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_patterns", + "title": "Patterns of RDFS entailment (Informative)", + "number": "9.2.1" + }, + "definedIn": "table" + }, + { + "id": "dfn-rdfs6", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs6", + "linkingText": [ + "rdfs6" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "rdfs_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_patterns", + "title": "Patterns of RDFS entailment (Informative)", + "number": "9.2.1" + }, + "definedIn": "table" + }, + { + "id": "dfn-rdfs7", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs7", + "linkingText": [ + "rdfs7" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "rdfs_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_patterns", + "title": "Patterns of RDFS entailment (Informative)", + "number": "9.2.1" + }, + "definedIn": "table" + }, + { + "id": "dfn-rdfs8", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs8", + "linkingText": [ + "rdfs8" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "rdfs_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_patterns", + "title": "Patterns of RDFS entailment (Informative)", + "number": "9.2.1" + }, + "definedIn": "table" + }, + { + "id": "dfn-rdfs9", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs9", + "linkingText": [ + "rdfs9" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "rdfs_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_patterns", + "title": "Patterns of RDFS entailment (Informative)", + "number": "9.2.1" + }, + "definedIn": "table" + }, + { + "id": "dfn-rdfs10", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs10", + "linkingText": [ + "rdfs10" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "rdfs_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_patterns", + "title": "Patterns of RDFS entailment (Informative)", + "number": "9.2.1" + }, + "definedIn": "table" + }, + { + "id": "dfn-rdfs11", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs11", + "linkingText": [ + "rdfs11" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "rdfs_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_patterns", + "title": "Patterns of RDFS entailment (Informative)", + "number": "9.2.1" + }, + "definedIn": "table" + }, + { + "id": "dfn-rdfs12", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs12", + "linkingText": [ + "rdfs12" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "rdfs_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_patterns", + "title": "Patterns of RDFS entailment (Informative)", + "number": "9.2.1" + }, + "definedIn": "table" + }, + { + "id": "dfn-rdfs13", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs13", + "linkingText": [ + "rdfs13" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "rdfs_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_patterns", + "title": "Patterns of RDFS entailment (Informative)", + "number": "9.2.1" + }, + "definedIn": "table" + }, + { + "id": "dfn-grdfd1", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-grdfd1", + "linkingText": [ + "GrdfD1" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "entailment_rules", + "href": "https://www.w3.org/TR/rdf12-semantics/#entailment_rules", + "title": "Entailment rules (Informative)", + "number": "A" + }, + "definedIn": "table" + }, + { + "id": "dfn-generalized-rdf-rdfs-closure", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-generalized-rdf-rdfs-closure", + "linkingText": [ + "generalized RDF (RDFS) closure" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "entailment_rules", + "href": "https://www.w3.org/TR/rdf12-semantics/#entailment_rules", + "title": "Entailment rules (Informative)", + "number": "A" + }, + "definedIn": "prose" + }, + { + "id": "dfn-pre-interpretation", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-pre-interpretation", + "linkingText": [ + "pre-interpretation" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "finite_interpretations", + "href": "https://www.w3.org/TR/rdf12-semantics/#finite_interpretations", + "title": "Finite interpretations", + "number": "B" + }, + "definedIn": "prose" + }, + { + "id": "dfn-reification", + "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-reification", + "linkingText": [ + "reification" + ], + "localLinkingText": [], + "type": "dfn", + "for": [], + "access": "private", + "informative": true, + "heading": { + "id": "Reif", + "href": "https://www.w3.org/TR/rdf12-semantics/#Reif", + "title": "Reification", + "number": "D.1" + }, + "definedIn": "prose" + } + ] +} \ No newline at end of file diff --git a/tr/headings/rdf12-semantics.json b/tr/headings/rdf12-semantics.json new file mode 100644 index 000000000000..e4d2c90468e7 --- /dev/null +++ b/tr/headings/rdf12-semantics.json @@ -0,0 +1,303 @@ +{ + "spec": { + "title": "RDF 1.2 Semantics", + "url": "https://www.w3.org/TR/rdf12-semantics/" + }, + "headings": [ + { + "id": "title", + "href": "https://www.w3.org/TR/rdf12-semantics/#title", + "level": 1, + "title": "RDF 1.2 Semantics" + }, + { + "id": "related", + "href": "https://www.w3.org/TR/rdf12-semantics/#related", + "level": 3, + "title": "Set of Documents" + }, + { + "id": "toc", + "href": "https://www.w3.org/TR/rdf12-semantics/#toc", + "level": 2, + "title": "Table of Contents" + }, + { + "id": "notes-0", + "href": "https://www.w3.org/TR/rdf12-semantics/#notes-0", + "level": 2, + "title": "Notes" + }, + { + "id": "introduction-0", + "href": "https://www.w3.org/TR/rdf12-semantics/#introduction-0", + "level": 2, + "title": "Introduction", + "number": "1" + }, + { + "id": "conformance", + "href": "https://www.w3.org/TR/rdf12-semantics/#conformance", + "level": 2, + "title": "Conformance", + "number": "2" + }, + { + "id": "extensions", + "href": "https://www.w3.org/TR/rdf12-semantics/#extensions", + "level": 2, + "title": "Semantic Extensions and Entailment Regimes", + "number": "3" + }, + { + "id": "notation", + "href": "https://www.w3.org/TR/rdf12-semantics/#notation", + "level": 2, + "title": "Notation and Terminology", + "number": "4" + }, + { + "id": "unions_merges", + "href": "https://www.w3.org/TR/rdf12-semantics/#unions_merges", + "level": 3, + "title": "Shared blank nodes, unions and merges", + "number": "4.1" + }, + { + "id": "simple", + "href": "https://www.w3.org/TR/rdf12-semantics/#simple", + "level": 2, + "title": "Simple Interpretations", + "number": "5" + }, + { + "id": "blank_nodes", + "href": "https://www.w3.org/TR/rdf12-semantics/#blank_nodes", + "level": 3, + "title": "Blank nodes", + "number": "5.1" + }, + { + "id": "shared_blank_nodes", + "href": "https://www.w3.org/TR/rdf12-semantics/#shared_blank_nodes", + "level": 4, + "title": "Shared blank nodes (Informative)", + "number": "5.1.1" + }, + { + "id": "simpleentailment", + "href": "https://www.w3.org/TR/rdf12-semantics/#simpleentailment", + "level": 3, + "title": "Simple Entailment", + "number": "5.2" + }, + { + "id": "simple_entailment_properties", + "href": "https://www.w3.org/TR/rdf12-semantics/#simple_entailment_properties", + "level": 3, + "title": "Properties of simple entailment (Informative)", + "number": "5.3" + }, + { + "id": "skolemization", + "href": "https://www.w3.org/TR/rdf12-semantics/#skolemization", + "level": 2, + "title": "Skolemization (Informative)", + "number": "6" + }, + { + "id": "datatypes", + "href": "https://www.w3.org/TR/rdf12-semantics/#datatypes", + "level": 2, + "title": "Literals and datatypes", + "number": "7" + }, + { + "id": "D_interpretations", + "href": "https://www.w3.org/TR/rdf12-semantics/#D_interpretations", + "level": 3, + "title": "D-interpretations", + "number": "7.1" + }, + { + "id": "D_entailment", + "href": "https://www.w3.org/TR/rdf12-semantics/#D_entailment", + "level": 3, + "title": "Datatype entailment", + "number": "7.2" + }, + { + "id": "datatype_entailment_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#datatype_entailment_patterns", + "level": 4, + "title": "Patterns of datatype entailment (Informative)", + "number": "7.2.1" + }, + { + "id": "rdf_d_interpretations", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdf_d_interpretations", + "level": 2, + "title": "RDF Interpretations", + "number": "8" + }, + { + "id": "rdf_entail", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdf_entail", + "level": 3, + "title": "RDF entailment", + "number": "8.1" + }, + { + "id": "rdf_entailment_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdf_entailment_patterns", + "level": 4, + "title": "Patterns of RDF entailment (Informative)", + "number": "8.1.1" + }, + { + "id": "rdfs_interpretations", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_interpretations", + "level": 2, + "title": "RDFS Interpretations", + "number": "9" + }, + { + "id": "rdfs_literal_note", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_literal_note", + "level": 3, + "title": "A note on rdfs:Literal (Informative)", + "number": "9.1" + }, + { + "id": "rdfs_entailment", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_entailment", + "level": 3, + "title": "RDFS entailment", + "number": "9.2" + }, + { + "id": "rdfs_patterns", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdfs_patterns", + "level": 4, + "title": "Patterns of RDFS entailment (Informative)", + "number": "9.2.1" + }, + { + "id": "rdf_datasets", + "href": "https://www.w3.org/TR/rdf12-semantics/#rdf_datasets", + "level": 2, + "title": "10. RDF Datasets" + }, + { + "id": "appendices-0", + "href": "https://www.w3.org/TR/rdf12-semantics/#appendices-0", + "level": 2, + "title": "11. Appendices" + }, + { + "id": "entailment_rules", + "href": "https://www.w3.org/TR/rdf12-semantics/#entailment_rules", + "level": 2, + "title": "Entailment rules (Informative)", + "number": "A" + }, + { + "id": "finite_interpretations", + "href": "https://www.w3.org/TR/rdf12-semantics/#finite_interpretations", + "level": 2, + "title": "Finite interpretations", + "number": "B" + }, + { + "id": "proofs", + "href": "https://www.w3.org/TR/rdf12-semantics/#proofs", + "level": 2, + "title": "Proofs of some results (Informative)", + "number": "C" + }, + { + "id": "whatnot", + "href": "https://www.w3.org/TR/rdf12-semantics/#whatnot", + "level": 2, + "title": "RDF reification, containers and collections (Informative)", + "number": "D" + }, + { + "id": "Reif", + "href": "https://www.w3.org/TR/rdf12-semantics/#Reif", + "level": 3, + "title": "Reification", + "number": "D.1" + }, + { + "id": "containers", + "href": "https://www.w3.org/TR/rdf12-semantics/#containers", + "level": 3, + "title": "RDF containers", + "number": "D.2" + }, + { + "id": "collections", + "href": "https://www.w3.org/TR/rdf12-semantics/#collections", + "level": 3, + "title": "RDF collections", + "number": "D.3" + }, + { + "id": "Acknowledgments", + "href": "https://www.w3.org/TR/rdf12-semantics/#Acknowledgments", + "level": 2, + "title": "Acknowledgments", + "number": "E" + }, + { + "id": "ChangeLog-12", + "href": "https://www.w3.org/TR/rdf12-semantics/#ChangeLog-12", + "level": 2, + "title": "Substantive changes since RDF 1.1", + "number": "F" + }, + { + "id": "index", + "href": "https://www.w3.org/TR/rdf12-semantics/#index", + "level": 2, + "title": "Index", + "number": "G" + }, + { + "id": "index-defined-here", + "href": "https://www.w3.org/TR/rdf12-semantics/#index-defined-here", + "level": 3, + "title": "Terms defined by this specification", + "number": "G.1" + }, + { + "id": "index-defined-elsewhere", + "href": "https://www.w3.org/TR/rdf12-semantics/#index-defined-elsewhere", + "level": 3, + "title": "Terms defined by reference", + "number": "G.2" + }, + { + "id": "references", + "href": "https://www.w3.org/TR/rdf12-semantics/#references", + "level": 2, + "title": "References", + "number": "H" + }, + { + "id": "normative-references", + "href": "https://www.w3.org/TR/rdf12-semantics/#normative-references", + "level": 3, + "title": "Normative references", + "number": "H.1" + }, + { + "id": "informative-references", + "href": "https://www.w3.org/TR/rdf12-semantics/#informative-references", + "level": 3, + "title": "Informative references", + "number": "H.2" + } + ] +} \ No newline at end of file diff --git a/tr/headings/sparql12-entailment.json b/tr/headings/sparql12-entailment.json new file mode 100644 index 000000000000..30aa46c8e1f4 --- /dev/null +++ b/tr/headings/sparql12-entailment.json @@ -0,0 +1,515 @@ +{ + "spec": { + "title": "SPARQL 1.2 Entailment Regimes", + "url": "https://www.w3.org/TR/sparql12-entailment/" + }, + "headings": [ + { + "id": "title", + "href": "https://www.w3.org/TR/sparql12-entailment/#title", + "level": 1, + "title": "SPARQL 1.2 Entailment Regimes" + }, + { + "id": "set-of-documents", + "href": "https://www.w3.org/TR/sparql12-entailment/#set-of-documents", + "level": 3, + "title": "Set of Documents" + }, + { + "id": "toc", + "href": "https://www.w3.org/TR/sparql12-entailment/#toc", + "level": 2, + "title": "Table of Contents" + }, + { + "id": "sec-intro", + "href": "https://www.w3.org/TR/sparql12-entailment/#sec-intro", + "level": 2, + "title": "Introduction", + "number": "1" + }, + { + "id": "Conventions", + "href": "https://www.w3.org/TR/sparql12-entailment/#Conventions", + "level": 3, + "title": "Document Conventions", + "number": "1.1" + }, + { + "id": "syntax", + "href": "https://www.w3.org/TR/sparql12-entailment/#syntax", + "level": 4, + "title": "Graph Syntax", + "number": "1.1.1" + }, + { + "id": "namespaces", + "href": "https://www.w3.org/TR/sparql12-entailment/#namespaces", + "level": 4, + "title": "Namespaces", + "number": "1.1.2" + }, + { + "id": "prelims", + "href": "https://www.w3.org/TR/sparql12-entailment/#prelims", + "level": 4, + "title": "Preliminary Definitions", + "number": "1.1.3" + }, + { + "id": "resultDesc", + "href": "https://www.w3.org/TR/sparql12-entailment/#resultDesc", + "level": 4, + "title": "Result Descriptions", + "number": "1.1.4" + }, + { + "id": "entEffects", + "href": "https://www.w3.org/TR/sparql12-entailment/#entEffects", + "level": 3, + "title": "Effects of Different Entailment Regimes", + "number": "1.2" + }, + { + "id": "bgpMatchingExtensions", + "href": "https://www.w3.org/TR/sparql12-entailment/#bgpMatchingExtensions", + "level": 3, + "title": "Extensions to Basic Graph Pattern Matching", + "number": "1.3" + }, + { + "id": "entRegimeParts", + "href": "https://www.w3.org/TR/sparql12-entailment/#entRegimeParts", + "level": 3, + "title": "Parts of an Entailment Regime", + "number": "1.4" + }, + { + "id": "RDFEntRegime", + "href": "https://www.w3.org/TR/sparql12-entailment/#RDFEntRegime", + "level": 2, + "title": "RDF Entailment Regime", + "number": "2" + }, + { + "id": "GeneralNotes", + "href": "https://www.w3.org/TR/sparql12-entailment/#GeneralNotes", + "level": 2, + "title": "General Notes on Entailment Regimes (Informative)", + "number": "3" + }, + { + "id": "bnodes", + "href": "https://www.w3.org/TR/sparql12-entailment/#bnodes", + "level": 3, + "title": "Blank Nodes in the Queried Graph", + "number": "3.1" + }, + { + "id": "axiomaticTriples", + "href": "https://www.w3.org/TR/sparql12-entailment/#axiomaticTriples", + "level": 3, + "title": "Answers from Axiomatic Triples", + "number": "3.2" + }, + { + "id": "literalSubjects", + "href": "https://www.w3.org/TR/sparql12-entailment/#literalSubjects", + "level": 3, + "title": "Literals in the Subject Position", + "number": "3.3" + }, + { + "id": "booleanQueries", + "href": "https://www.w3.org/TR/sparql12-entailment/#booleanQueries", + "level": 3, + "title": "Boolean Queries", + "number": "3.4" + }, + { + "id": "aggregates", + "href": "https://www.w3.org/TR/sparql12-entailment/#aggregates", + "level": 3, + "title": "Aggregates and Blank Nodes", + "number": "3.5" + }, + { + "id": "RDFSEntRegime", + "href": "https://www.w3.org/TR/sparql12-entailment/#RDFSEntRegime", + "level": 2, + "title": "RDFS Entailment Regime", + "number": "4" + }, + { + "id": "inconsistencies", + "href": "https://www.w3.org/TR/sparql12-entailment/#inconsistencies", + "level": 3, + "title": "Inconsistencies (Informative)", + "number": "4.1" + }, + { + "id": "uncheckedInconsistencies", + "href": "https://www.w3.org/TR/sparql12-entailment/#uncheckedInconsistencies", + "level": 4, + "title": "Effects of Unchecked Inconsistencies", + "number": "4.1.1" + }, + { + "id": "DEntRegime", + "href": "https://www.w3.org/TR/sparql12-entailment/#DEntRegime", + "level": 2, + "title": "D-Entailment Regime", + "number": "5" + }, + { + "id": "CanonicalLit", + "href": "https://www.w3.org/TR/sparql12-entailment/#CanonicalLit", + "level": 3, + "title": "The D-Entailment Regime", + "number": "5.1" + }, + { + "id": "canonicalRep", + "href": "https://www.w3.org/TR/sparql12-entailment/#canonicalRep", + "level": 3, + "title": "XML Schema Datatypes and Canonical Lexical Representations", + "number": "5.2" + }, + { + "id": "OWLRDFBSEntRegime", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWLRDFBSEntRegime", + "level": 2, + "title": "OWL 2 RDF-Based Semantics Entailment Regime", + "number": "6" + }, + { + "id": "OWLRDFBSEntailments", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWLRDFBSEntailments", + "level": 3, + "title": "Entailments under the OWL 2 RDF-Based Semantics (Informative)", + "number": "6.1" + }, + { + "id": "OWLRDFBSRestrictions", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWLRDFBSRestrictions", + "level": 3, + "title": "Restriction on Solutions", + "number": "6.2" + }, + { + "id": "OWLRDFBSComputing", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWLRDFBSComputing", + "level": 3, + "title": "Computing Query Answers under the RDF-Based Semantics (Informative)", + "number": "6.3" + }, + { + "id": "OWL2-RDFBS-Profiles", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWL2-RDFBS-Profiles", + "level": 3, + "title": "OWL 2 Profiles and Entailment Checkers", + "number": "6.4" + }, + { + "id": "OWL2DL", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWL2DL", + "level": 4, + "title": "OWL 2 DL", + "number": "6.4.1" + }, + { + "id": "OWL2EL", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWL2EL", + "level": 4, + "title": "The OWL 2 EL Profile", + "number": "6.4.2" + }, + { + "id": "OWL2QL", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWL2QL", + "level": 4, + "title": "The OWL 2 QL Profile", + "number": "6.4.3" + }, + { + "id": "OWL2RLDS", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWL2RLDS", + "level": 4, + "title": "The OWL 2 RL Profile", + "number": "6.4.4" + }, + { + "id": "OWL2RLRDFBSComputing", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWL2RLRDFBSComputing", + "level": 4, + "title": "Computing Query Answers for the OWL 2 RL Profile with RDF-Based Semantics (Informative)", + "number": "6.4.5" + }, + { + "id": "OWLDSEnRegime", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWLDSEnRegime", + "level": 2, + "title": "OWL 2 Direct Semantics Entailment Regime", + "number": "7" + }, + { + "id": "OWLDSIntro", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWLDSIntro", + "level": 3, + "title": "Introduction", + "number": "7.1" + }, + { + "id": "OWLDSImports", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWLDSImports", + "level": 4, + "title": "OWL Import Directives", + "number": "7.1.1" + }, + { + "id": "OWLDSExtGrammar", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWLDSExtGrammar", + "level": 4, + "title": "Extended Grammar for OWL 2 Direct Semantics BGPs", + "number": "7.1.2" + }, + { + "id": "VarTyping", + "href": "https://www.w3.org/TR/sparql12-entailment/#VarTyping", + "level": 4, + "title": "Variable Typing", + "number": "7.1.3" + }, + { + "id": "OWLDSEntRegime", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWLDSEntRegime", + "level": 3, + "title": "The OWL 2 Direct Semantics Entailment Regime", + "number": "7.2" + }, + { + "id": "OWLDSRestrictions", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWLDSRestrictions", + "level": 3, + "title": "Restrictions on Solutions (Informative)", + "number": "7.3" + }, + { + "id": "OWLDSConstraints", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWLDSConstraints", + "level": 4, + "title": "BGP Constraints for OWL 2 DL", + "number": "7.3.1" + }, + { + "id": "OWLDSLiteralVars", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWLDSLiteralVars", + "level": 4, + "title": "Queries with Variables in Literal Positions", + "number": "7.3.2" + }, + { + "id": "OWLDSHigherOrder", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWLDSHigherOrder", + "level": 3, + "title": "Higher-Order Queries (Informative)", + "number": "7.4" + }, + { + "id": "OWL2ProfilesDS", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWL2ProfilesDS", + "level": 3, + "title": "OWL 2 Entailment Checkers and Profiles", + "number": "7.5" + }, + { + "id": "RIFCoreEnt", + "href": "https://www.w3.org/TR/sparql12-entailment/#RIFCoreEnt", + "level": 2, + "title": "RIF Core Entailment", + "number": "8" + }, + { + "id": "SimpeRIFCoreEntRegime", + "href": "https://www.w3.org/TR/sparql12-entailment/#SimpeRIFCoreEntRegime", + "level": 3, + "title": "(Simple) RIF Core Entailment Regime", + "number": "8.1" + }, + { + "id": "RIFCustomRuleSets", + "href": "https://www.w3.org/TR/sparql12-entailment/#RIFCustomRuleSets", + "level": 3, + "title": "Custom Rulesets for Common Vocabulary Interpretations (Informative)", + "number": "8.2" + }, + { + "id": "RIFFiniteAnswers", + "href": "https://www.w3.org/TR/sparql12-entailment/#RIFFiniteAnswers", + "level": 3, + "title": "Finite Answer Set Conditions (Informative)", + "number": "8.3" + }, + { + "id": "RIFDocReferences", + "href": "https://www.w3.org/TR/sparql12-entailment/#RIFDocReferences", + "level": 3, + "title": "Referencing a RIF Document", + "number": "8.4" + }, + { + "id": "RIFUsedWithProfile", + "href": "https://www.w3.org/TR/sparql12-entailment/#RIFUsedWithProfile", + "level": 4, + "title": "Semantics of rif:usedWithProfile", + "number": "8.4.1" + }, + { + "id": "RIFDereferencing", + "href": "https://www.w3.org/TR/sparql12-entailment/#RIFDereferencing", + "level": 4, + "title": "Dereferencing RIF Documents (Informative)", + "number": "8.4.2" + }, + { + "id": "RIFHTTPDereferencing", + "href": "https://www.w3.org/TR/sparql12-entailment/#RIFHTTPDereferencing", + "level": 5, + "title": "HTTP Dereferencing", + "number": "8.4.2.1" + }, + { + "id": "RIFDocsAsNamedGraphs", + "href": "https://www.w3.org/TR/sparql12-entailment/#RIFDocsAsNamedGraphs", + "level": 5, + "title": "Encoding RIF documents within named graphs in the dataset", + "number": "8.4.2.2" + }, + { + "id": "DataSets", + "href": "https://www.w3.org/TR/sparql12-entailment/#DataSets", + "level": 2, + "title": "Entailment Regimes and Data Sets (Informative)", + "number": "9" + }, + { + "id": "PropertyPaths", + "href": "https://www.w3.org/TR/sparql12-entailment/#PropertyPaths", + "level": 2, + "title": "10. Entailment Regimes and Property Paths (Informative)" + }, + { + "id": "PropertyPathsLimitations", + "href": "https://www.w3.org/TR/sparql12-entailment/#PropertyPathsLimitations", + "level": 3, + "title": "Limitations of Property Paths in Combination with Entailment Regimes", + "number": "10.1" + }, + { + "id": "Updates", + "href": "https://www.w3.org/TR/sparql12-entailment/#Updates", + "level": 2, + "title": "11. Entailment Regimes and Updates (Informative)" + }, + { + "id": "AppendixMapping", + "href": "https://www.w3.org/TR/sparql12-entailment/#AppendixMapping", + "level": 2, + "title": "12. Appendix: Mapping from BGPs to the extended OWL 2 Structural Specification" + }, + { + "id": "OWLParsing", + "href": "https://www.w3.org/TR/sparql12-entailment/#OWLParsing", + "level": 3, + "title": "Parsing BGPs into Objects of the Extended OWL 2 Structural Specification", + "number": "12.1" + }, + { + "id": "AppendixProofs", + "href": "https://www.w3.org/TR/sparql12-entailment/#AppendixProofs", + "level": 2, + "title": "13. Appendix: Proofs" + }, + { + "id": "conformance", + "href": "https://www.w3.org/TR/sparql12-entailment/#conformance", + "level": 2, + "title": "14. Conformance" + }, + { + "id": "conformance-0", + "href": "https://www.w3.org/TR/sparql12-entailment/#conformance-0", + "level": 3, + "title": "Conformance", + "number": "14.1" + }, + { + "id": "privacy", + "href": "https://www.w3.org/TR/sparql12-entailment/#privacy", + "level": 2, + "title": "15. Privacy Considerations" + }, + { + "id": "security", + "href": "https://www.w3.org/TR/sparql12-entailment/#security", + "level": 2, + "title": "16. Security Considerations" + }, + { + "id": "internationalization", + "href": "https://www.w3.org/TR/sparql12-entailment/#internationalization", + "level": 2, + "title": "17. Internationalization Considerations" + }, + { + "id": "changes-from-sparql11", + "href": "https://www.w3.org/TR/sparql12-entailment/#changes-from-sparql11", + "level": 2, + "title": "Change Log", + "number": "A" + }, + { + "id": "index", + "href": "https://www.w3.org/TR/sparql12-entailment/#index", + "level": 2, + "title": "Index", + "number": "B" + }, + { + "id": "index-defined-here", + "href": "https://www.w3.org/TR/sparql12-entailment/#index-defined-here", + "level": 3, + "title": "Terms defined by this specification", + "number": "B.1" + }, + { + "id": "index-defined-elsewhere", + "href": "https://www.w3.org/TR/sparql12-entailment/#index-defined-elsewhere", + "level": 3, + "title": "Terms defined by reference", + "number": "B.2" + }, + { + "id": "references", + "href": "https://www.w3.org/TR/sparql12-entailment/#references", + "level": 2, + "title": "References", + "number": "C" + }, + { + "id": "normative-references", + "href": "https://www.w3.org/TR/sparql12-entailment/#normative-references", + "level": 3, + "title": "Normative references", + "number": "C.1" + }, + { + "id": "informative-references", + "href": "https://www.w3.org/TR/sparql12-entailment/#informative-references", + "level": 3, + "title": "Informative references", + "number": "C.2" + } + ] +} \ No newline at end of file diff --git a/tr/ids/geometry-1.json b/tr/ids/geometry-1.json index ccdcb11fc870..c34b4a33f55b 100644 --- a/tr/ids/geometry-1.json +++ b/tr/ids/geometry-1.json @@ -23,10 +23,10 @@ "https://www.w3.org/TR/geometry-1/#MJMAIN-32", "https://www.w3.org/TR/geometry-1/#MJMAIN-33", "https://www.w3.org/TR/geometry-1/#MJMAIN-34", - "https://www.w3.org/TR/geometry-1/#MathJax_Message", "https://www.w3.org/TR/geometry-1/#toc-nav", "https://www.w3.org/TR/geometry-1/#toc-jump", "https://www.w3.org/TR/geometry-1/#toc-toggle", + "https://www.w3.org/TR/geometry-1/#MathJax_Message", "https://www.w3.org/TR/geometry-1/#title", "https://www.w3.org/TR/geometry-1/#annotation_root_", "https://www.w3.org/TR/geometry-1/#subtitle", diff --git a/tr/ids/rdf12-semantics.json b/tr/ids/rdf12-semantics.json new file mode 100644 index 000000000000..778fad8de90f --- /dev/null +++ b/tr/ids/rdf12-semantics.json @@ -0,0 +1,565 @@ +{ + "spec": { + "title": "RDF 1.2 Semantics", + "url": "https://www.w3.org/TR/rdf12-semantics/" + }, + "ids": [ + "https://www.w3.org/TR/rdf12-semantics/#initialUserConfig", + "https://www.w3.org/TR/rdf12-semantics/#toc-nav", + "https://www.w3.org/TR/rdf12-semantics/#toc-jump", + "https://www.w3.org/TR/rdf12-semantics/#toc-toggle", + "https://www.w3.org/TR/rdf12-semantics/#title", + "https://www.w3.org/TR/rdf12-semantics/#w3c-state", + "https://www.w3.org/TR/rdf12-semantics/#abstract", + "https://www.w3.org/TR/rdf12-semantics/#sotd", + "https://www.w3.org/TR/rdf12-semantics/#w3c_process_revision", + "https://www.w3.org/TR/rdf12-semantics/#related", + "https://www.w3.org/TR/rdf12-semantics/#set-of-documents", + "https://www.w3.org/TR/rdf12-semantics/#toc", + "https://www.w3.org/TR/rdf12-semantics/#table-of-contents", + "https://www.w3.org/TR/rdf12-semantics/#notes-0", + "https://www.w3.org/TR/rdf12-semantics/#notes", + "https://www.w3.org/TR/rdf12-semantics/#introduction-0", + "https://www.w3.org/TR/rdf12-semantics/#introduction", + "https://www.w3.org/TR/rdf12-semantics/#conformance", + "https://www.w3.org/TR/rdf12-semantics/#x2-conformance", + "https://www.w3.org/TR/rdf12-semantics/#extensions", + "https://www.w3.org/TR/rdf12-semantics/#x3-semantic-extensions-and-entailment-regimes", + "https://www.w3.org/TR/rdf12-semantics/#semantic-extensions-and-entailment-regimes", + "https://www.w3.org/TR/rdf12-semantics/#dfn-semantic-extension", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-semantic-extension-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-entailment-regime", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-semantic-extension-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-semantic-extension-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-semantic-extension-4", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-semantic-extension-5", + "https://www.w3.org/TR/rdf12-semantics/#dfn-monotonic", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-entail-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-semantic-extension-6", + "https://www.w3.org/TR/rdf12-semantics/#notation", + "https://www.w3.org/TR/rdf12-semantics/#x4-notation-and-terminology", + "https://www.w3.org/TR/rdf12-semantics/#dfn-iri-0", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-iri-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-iri", + "https://www.w3.org/TR/rdf12-semantics/#dfn-triple", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-triple-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdf-triple", + "https://www.w3.org/TR/rdf12-semantics/#dfn-graph", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-graph-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdf-graph", + "https://www.w3.org/TR/rdf12-semantics/#dfn-subject-0", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-subject-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-subject", + "https://www.w3.org/TR/rdf12-semantics/#dfn-predicate-0", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-predicate-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-predicate", + "https://www.w3.org/TR/rdf12-semantics/#dfn-object-0", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-object-type-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-object", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdf-source-0", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-source-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdf-source", + "https://www.w3.org/TR/rdf12-semantics/#dfn-node-0", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-node-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-node", + "https://www.w3.org/TR/rdf12-semantics/#dfn-blank-node-0", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-blank-node-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-blank-node", + "https://www.w3.org/TR/rdf12-semantics/#dfn-literal-0", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-literal-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-literal", + "https://www.w3.org/TR/rdf12-semantics/#dfn-isomorphic-0", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-isomorphic-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-isomorphic", + "https://www.w3.org/TR/rdf12-semantics/#dfn-dataset", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-dataset-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdf-dataset", + "https://www.w3.org/TR/rdf12-semantics/#dfn-generalized-rdf-triples", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-generalized-rdf-triples-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-generalized-rdf-graphs", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-generalized-rdf-graphs-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-generalized-rdf-datasets", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-generalized-rdf-datasets-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-interpretation", + "https://www.w3.org/TR/rdf12-semantics/#dfn-denote", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-denotes-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-iri-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-literal-2", + "https://www.w3.org/TR/rdf12-semantics/#dfn-referent", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-referent-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-refer-to", + "https://www.w3.org/TR/rdf12-semantics/#dfn-denotation", + "https://www.w3.org/TR/rdf12-semantics/#dfn-identify", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-identify-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-dataset-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-graph-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-vocabularies-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-name", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-name-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-vocabulary", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-name-2", + "https://www.w3.org/TR/rdf12-semantics/#dfn-empty-graph", + "https://www.w3.org/TR/rdf12-semantics/#dfn-subgraph", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-graph-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-triple-2", + "https://www.w3.org/TR/rdf12-semantics/#dfn-proper-subgraph", + "https://www.w3.org/TR/rdf12-semantics/#dfn-ground", + "https://www.w3.org/TR/rdf12-semantics/#dfn-instance", + "https://www.w3.org/TR/rdf12-semantics/#dfn-instance-with-respect-to", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-instance-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-name-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-name-4", + "https://www.w3.org/TR/rdf12-semantics/#dfn-proper-instance", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-instance-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-name-5", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-isomorphic-2", + "https://www.w3.org/TR/rdf12-semantics/#dfn-lean", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-proper-subgraph-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-1", + "https://www.w3.org/TR/rdf12-semantics/#example-non-lean-graph", + "https://www.w3.org/TR/rdf12-semantics/#example-lean-graph", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-ground-1", + "https://www.w3.org/TR/rdf12-semantics/#unions_merges", + "https://www.w3.org/TR/rdf12-semantics/#x4-1-shared-blank-nodes-unions-and-merges", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-blank-node-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-source-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-blank-node-identifiers-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-standardize", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-standardize-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-2", + "https://www.w3.org/TR/rdf12-semantics/#dfn-merging", + "https://www.w3.org/TR/rdf12-semantics/#dfn-merge", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-3", + "https://www.w3.org/TR/rdf12-semantics/#simple", + "https://www.w3.org/TR/rdf12-semantics/#x5-simple-interpretations", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-semantic-extension-7", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-semantic-extension-8", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-semantic-extension-9", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-graph-4", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-source-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-source-4", + "https://www.w3.org/TR/rdf12-semantics/#dfn-simply-entail", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-langstring-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-name-6", + "https://www.w3.org/TR/rdf12-semantics/#dfn-extension", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-name-7", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-triple-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-graph-5", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-semantic-extension-10", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-identify-2", + "https://www.w3.org/TR/rdf12-semantics/#blank_nodes", + "https://www.w3.org/TR/rdf12-semantics/#x5-1-blank-nodes", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-identify-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-name-8", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-name-9", + "https://www.w3.org/TR/rdf12-semantics/#shared_blank_nodes", + "https://www.w3.org/TR/rdf12-semantics/#x5-1-1-shared-blank-nodes-informative", + "https://www.w3.org/TR/rdf12-semantics/#simpleentailment", + "https://www.w3.org/TR/rdf12-semantics/#x5-2-simple-entailment", + "https://www.w3.org/TR/rdf12-semantics/#dfn-satisfies", + "https://www.w3.org/TR/rdf12-semantics/#dfn-satisfiable", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-satisfies-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-unsatisfiable", + "https://www.w3.org/TR/rdf12-semantics/#dfn-entail", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-entail-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-satisfies-2", + "https://www.w3.org/TR/rdf12-semantics/#dfn-equivalent", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-equivalent-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-inconsistent", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-inconsistent-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-valid", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-invalid", + "https://www.w3.org/TR/rdf12-semantics/#dfn-invalid.x", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-4", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-semantic-extension-11", + "https://www.w3.org/TR/rdf12-semantics/#simple_entailment_properties", + "https://www.w3.org/TR/rdf12-semantics/#x5-3-properties-of-simple-entailment-informative", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-satisfiable-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-ill-typed-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-d-unsatisfiability-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-interpolation", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-5", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-4", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-6", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-ground-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-interpolation-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-empty-graph-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-5", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-instance-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-lean-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-proper-instance-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-7", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-6", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-7", + "https://www.w3.org/TR/rdf12-semantics/#skolemization", + "https://www.w3.org/TR/rdf12-semantics/#x6-skolemization-informative", + "https://www.w3.org/TR/rdf12-semantics/#dfn-skolemization", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-section-3-5-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-8", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-9", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-10", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-11", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-equivalent-2", + "https://www.w3.org/TR/rdf12-semantics/#datatypes", + "https://www.w3.org/TR/rdf12-semantics/#x7-literals-and-datatypes", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-semantic-extension-12", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-identify-4", + "https://www.w3.org/TR/rdf12-semantics/#dfn-recognize", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-datatype-map-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-datatype-map-2", + "https://www.w3.org/TR/rdf12-semantics/#dfn-datatype-map", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-d-interpretation-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-datatype-map-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-identify-5", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-identify-6", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-section-5-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-identify-7", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-langstring-2", + "https://www.w3.org/TR/rdf12-semantics/#dfn-lexical-to-value-mapping", + "https://www.w3.org/TR/rdf12-semantics/#dfn-lexical-to-value-mapping-0", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-lexical-to-value-mapping-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-l2v", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-denotes-2", + "https://www.w3.org/TR/rdf12-semantics/#dfn-value-space", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-lexical-to-value-mapping-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-denotes-3", + "https://www.w3.org/TR/rdf12-semantics/#dfn-ill-typed", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-lexical-to-value-mapping-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-langstring-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-xsd-string-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-section-5-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-4", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-5", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-6", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-denotes-4", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-datatype-map-4", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-langstring-4", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-l2v-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-value-space-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-7", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-8", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-9", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-10", + "https://www.w3.org/TR/rdf12-semantics/#D_interpretations", + "https://www.w3.org/TR/rdf12-semantics/#x7-1-d-interpretations", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-identify-8", + "https://www.w3.org/TR/rdf12-semantics/#dfn-d-interpretation", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-12", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-ill-typed-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-ill-typed-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-d-unsatisfiability-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-ill-typed-4", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-d-unsatisfiability-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-langstring-5", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-ill-typed-5", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-xsd-string-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-char-production-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-d-unsatisfiability-4", + "https://www.w3.org/TR/rdf12-semantics/#D_entailment", + "https://www.w3.org/TR/rdf12-semantics/#x7-2-datatype-entailment", + "https://www.w3.org/TR/rdf12-semantics/#dfn-d-satisfiable", + "https://www.w3.org/TR/rdf12-semantics/#dfn-satisfiable-recognizing-d", + "https://www.w3.org/TR/rdf12-semantics/#dfn-d-entails", + "https://www.w3.org/TR/rdf12-semantics/#dfn-entails-recognizing-d", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-satisfies-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-13", + "https://www.w3.org/TR/rdf12-semantics/#dfn-d-unsatisfiability", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-d-unsatisfiability-5", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-d-entails-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-unsatisfiable-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-unsatisfiable-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-11", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-d-entails-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-d-entails-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-14", + "https://www.w3.org/TR/rdf12-semantics/#datatype_entailment_patterns", + "https://www.w3.org/TR/rdf12-semantics/#x7-2-1-patterns-of-datatype-entailment-informative", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-entail-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-12", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-13", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-d-entails-4", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-d-entails-5", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-d-entails-6", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-discussion-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-ill-typed-6", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-d-unsatisfiability-6", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-unsatisfiable-3", + "https://www.w3.org/TR/rdf12-semantics/#rdf_d_interpretations", + "https://www.w3.org/TR/rdf12-semantics/#x8-rdf-interpretations", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdf-vocabulary", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdf-interpretation", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-d-interpretation-2", + "https://www.w3.org/TR/rdf12-semantics/#rdfsemcond1", + "https://www.w3.org/TR/rdf12-semantics/#rdfsemcond3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-value-space-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-satisfies-4", + "https://www.w3.org/TR/rdf12-semantics/#RDF_axiomatic_triples", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-langstring-6", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-xsd-string-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-14", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-xmlliteral-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-html-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-15", + "https://www.w3.org/TR/rdf12-semantics/#rdf_entail", + "https://www.w3.org/TR/rdf12-semantics/#x8-1-rdf-entailment", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdf-entail", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdf-interpretation-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-satisfies-5", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdf-unsatisfiable", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdf-interpretation-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-entail-4", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdf-entail-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdf-interpretation-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdf-entail-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-interpolation-2", + "https://www.w3.org/TR/rdf12-semantics/#rdf_entailment_patterns", + "https://www.w3.org/TR/rdf12-semantics/#x8-1-1-patterns-of-rdf-entailment-informative", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-16", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfd1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-ill-typed-7", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfd2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-value-space-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-unsatisfiable-4", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdf-unsatisfiable-1", + "https://www.w3.org/TR/rdf12-semantics/#rdfs_interpretations", + "https://www.w3.org/TR/rdf12-semantics/#x9-rdfs-interpretations", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs-vocabulary", + "https://www.w3.org/TR/rdf12-semantics/#dfn-class", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-class-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs-interpretation", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdf-interpretation-4", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-satisfies-6", + "https://www.w3.org/TR/rdf12-semantics/#rdfs_semantic_conditions", + "https://www.w3.org/TR/rdf12-semantics/#rdfssemcond1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-value-space-4", + "https://www.w3.org/TR/rdf12-semantics/#rdfssemcond2", + "https://www.w3.org/TR/rdf12-semantics/#rdfssemcond3", + "https://www.w3.org/TR/rdf12-semantics/#rdfssemcond4", + "https://www.w3.org/TR/rdf12-semantics/#rdfssemcond5", + "https://www.w3.org/TR/rdf12-semantics/#rdfssemcond6", + "https://www.w3.org/TR/rdf12-semantics/#rdfssemcond8", + "https://www.w3.org/TR/rdf12-semantics/#rdfssemcond7", + "https://www.w3.org/TR/rdf12-semantics/#rdfssemcond9", + "https://www.w3.org/TR/rdf12-semantics/#rdfssemcond10", + "https://www.w3.org/TR/rdf12-semantics/#RDFS_axiomatic_triples", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdf-interpretation-5", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdf-interpretation-6", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-17", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-value-space-5", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-denotes-5", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-recognize-18", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-class-2", + "https://www.w3.org/TR/rdf12-semantics/#rdfs_literal_note", + "https://www.w3.org/TR/rdf12-semantics/#x9-1-a-note-on-rdfs-literal-informative", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-denotes-6", + "https://www.w3.org/TR/rdf12-semantics/#rdfs_entailment", + "https://www.w3.org/TR/rdf12-semantics/#x9-2-rdfs-entailment", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs-entails", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdfs-interpretation-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-satisfies-7", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdfs-interpretation-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdf-interpretation-7", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdfs-entails-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdf-entail-3", + "https://www.w3.org/TR/rdf12-semantics/#rdfs_patterns", + "https://www.w3.org/TR/rdf12-semantics/#x9-2-1-patterns-of-rdfs-entailment-informative", + "https://www.w3.org/TR/rdf12-semantics/#rdfs_entailment_patterns", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-entails-recognizing-d-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs2", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs3", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs4a", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs4b", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs5", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs6", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs7", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs8", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs9", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs10", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs11", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs12", + "https://www.w3.org/TR/rdf12-semantics/#dfn-rdfs13", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-unsatisfiable-5", + "https://www.w3.org/TR/rdf12-semantics/#rdf_datasets", + "https://www.w3.org/TR/rdf12-semantics/#x10-rdf-datasets", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-rdf-dataset-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-identify-9", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-denotes-7", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-semantic-extension-13", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-entailment-regime-1", + "https://www.w3.org/TR/rdf12-semantics/#appendices-0", + "https://www.w3.org/TR/rdf12-semantics/#appendices", + "https://www.w3.org/TR/rdf12-semantics/#entailment_rules", + "https://www.w3.org/TR/rdf12-semantics/#a-entailment-rules-informative", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-15", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-generalized-rdf-triples-graphs-and-datasets-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-grdfd1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-grdfd1-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdfs7-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdfs2-1", + "https://www.w3.org/TR/rdf12-semantics/#dfn-generalized-rdf-rdfs-closure", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-grdfd1-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdfd2-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdfs1-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdfs13-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-generalized-rdf-rdfs-closure-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-16", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdfd1-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-grdfd1-3", + "https://www.w3.org/TR/rdf12-semantics/#finite_interpretations", + "https://www.w3.org/TR/rdf12-semantics/#b-finite-interpretations", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-name-10", + "https://www.w3.org/TR/rdf12-semantics/#dfn-pre-interpretation", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-vocabulary-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-17", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-name-11", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-18", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-pre-interpretation-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-pre-interpretation-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-pre-interpretation-3", + "https://www.w3.org/TR/rdf12-semantics/#proofs", + "https://www.w3.org/TR/rdf12-semantics/#c-proofs-of-some-results-informative", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-empty-graph-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-19", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-8", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-satisfies-8", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-instance-4", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-satisfies-9", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-satisfiable-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-20", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-9", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-10", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-name-12", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-name-13", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-satisfies-10", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-11", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-12", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-13", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-14", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-15", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-21", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-16", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-17", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-subgraph-18", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-22", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-simply-entail-23", + "https://www.w3.org/TR/rdf12-semantics/#whatnot", + "https://www.w3.org/TR/rdf12-semantics/#non_semantics", + "https://www.w3.org/TR/rdf12-semantics/#Reif", + "https://www.w3.org/TR/rdf12-semantics/#d-1-reification", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-identify-10", + "https://www.w3.org/TR/rdf12-semantics/#dfn-reification", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-denotes-8", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-reification-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-identify-11", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-reification-2", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-reification-3", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-reification-4", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-reification-5", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-reification-6", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-reification-7", + "https://www.w3.org/TR/rdf12-semantics/#containers", + "https://www.w3.org/TR/rdf12-semantics/#d-2-rdf-containers", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-rdfs-vocabulary-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-valid-1", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-entail-5", + "https://www.w3.org/TR/rdf12-semantics/#collections", + "https://www.w3.org/TR/rdf12-semantics/#d-3-rdf-collections", + "https://www.w3.org/TR/rdf12-semantics/#rdf-collections", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-dfn-semantic-extension-14", + "https://www.w3.org/TR/rdf12-semantics/#ref-for-index-term-denotes-9", + "https://www.w3.org/TR/rdf12-semantics/#Acknowledgments", + "https://www.w3.org/TR/rdf12-semantics/#e-acknowledgments", + "https://www.w3.org/TR/rdf12-semantics/#ChangeLog-12", + "https://www.w3.org/TR/rdf12-semantics/#f-substantive-changes-since-rdf-1-1", + "https://www.w3.org/TR/rdf12-semantics/#index", + "https://www.w3.org/TR/rdf12-semantics/#g-index", + "https://www.w3.org/TR/rdf12-semantics/#index-defined-here", + "https://www.w3.org/TR/rdf12-semantics/#g-1-terms-defined-by-this-specification", + "https://www.w3.org/TR/rdf12-semantics/#index-defined-elsewhere", + "https://www.w3.org/TR/rdf12-semantics/#g-2-terms-defined-by-reference", + "https://www.w3.org/TR/rdf12-semantics/#index-term-blank-node", + "https://www.w3.org/TR/rdf12-semantics/#index-term-blank-node-identifiers", + "https://www.w3.org/TR/rdf12-semantics/#index-term-denotes", + "https://www.w3.org/TR/rdf12-semantics/#index-term-entail", + "https://www.w3.org/TR/rdf12-semantics/#index-term-equivalent", + "https://www.w3.org/TR/rdf12-semantics/#index-term-generalized-rdf-datasets", + "https://www.w3.org/TR/rdf12-semantics/#index-term-generalized-rdf-graphs", + "https://www.w3.org/TR/rdf12-semantics/#index-term-generalized-rdf-triples", + "https://www.w3.org/TR/rdf12-semantics/#index-term-generalized-rdf-triples-graphs-and-datasets", + "https://www.w3.org/TR/rdf12-semantics/#index-term-inconsistent", + "https://www.w3.org/TR/rdf12-semantics/#index-term-iri", + "https://www.w3.org/TR/rdf12-semantics/#index-term-isomorphic", + "https://www.w3.org/TR/rdf12-semantics/#index-term-lexical-to-value-mapping", + "https://www.w3.org/TR/rdf12-semantics/#index-term-literal", + "https://www.w3.org/TR/rdf12-semantics/#index-term-node", + "https://www.w3.org/TR/rdf12-semantics/#index-term-object-type", + "https://www.w3.org/TR/rdf12-semantics/#index-term-predicate", + "https://www.w3.org/TR/rdf12-semantics/#index-term-rdf-dataset", + "https://www.w3.org/TR/rdf12-semantics/#index-term-rdf-graph", + "https://www.w3.org/TR/rdf12-semantics/#index-term-rdf-source", + "https://www.w3.org/TR/rdf12-semantics/#index-term-rdf-triple", + "https://www.w3.org/TR/rdf12-semantics/#index-term-rdf-vocabularies", + "https://www.w3.org/TR/rdf12-semantics/#index-term-rdf-html", + "https://www.w3.org/TR/rdf12-semantics/#index-term-rdf-langstring", + "https://www.w3.org/TR/rdf12-semantics/#index-term-rdf-xmlliteral", + "https://www.w3.org/TR/rdf12-semantics/#index-term-referent", + "https://www.w3.org/TR/rdf12-semantics/#index-term-section-3-5", + "https://www.w3.org/TR/rdf12-semantics/#index-term-section-5", + "https://www.w3.org/TR/rdf12-semantics/#index-term-subject", + "https://www.w3.org/TR/rdf12-semantics/#index-term-discussion", + "https://www.w3.org/TR/rdf12-semantics/#index-term-char-production", + "https://www.w3.org/TR/rdf12-semantics/#index-term-xsd-string", + "https://www.w3.org/TR/rdf12-semantics/#references", + "https://www.w3.org/TR/rdf12-semantics/#h-references", + "https://www.w3.org/TR/rdf12-semantics/#normative-references", + "https://www.w3.org/TR/rdf12-semantics/#h-1-normative-references", + "https://www.w3.org/TR/rdf12-semantics/#bib-rdf-plain-literal", + "https://www.w3.org/TR/rdf12-semantics/#bib-rdf12-concepts", + "https://www.w3.org/TR/rdf12-semantics/#bib-rdf12-schema", + "https://www.w3.org/TR/rdf12-semantics/#bib-rfc2119", + "https://www.w3.org/TR/rdf12-semantics/#bib-rfc8174", + "https://www.w3.org/TR/rdf12-semantics/#bib-turtle", + "https://www.w3.org/TR/rdf12-semantics/#bib-xml11", + "https://www.w3.org/TR/rdf12-semantics/#bib-xmlschema11-2", + "https://www.w3.org/TR/rdf12-semantics/#informative-references", + "https://www.w3.org/TR/rdf12-semantics/#h-2-informative-references", + "https://www.w3.org/TR/rdf12-semantics/#bib-horst04", + "https://www.w3.org/TR/rdf12-semantics/#bib-horst05", + "https://www.w3.org/TR/rdf12-semantics/#bib-iso24707", + "https://www.w3.org/TR/rdf12-semantics/#bib-owl2-overview", + "https://www.w3.org/TR/rdf12-semantics/#bib-owl2-profiles", + "https://www.w3.org/TR/rdf12-semantics/#bib-owl2-syntax", + "https://www.w3.org/TR/rdf12-semantics/#bib-rdf-mt", + "https://www.w3.org/TR/rdf12-semantics/#bib-rdf-testcases", + "https://www.w3.org/TR/rdf12-semantics/#bib-rdf11-mt", + "https://www.w3.org/TR/rdf12-semantics/#bib-rdf12-n-quads", + "https://www.w3.org/TR/rdf12-semantics/#bib-rdf12-n-triples", + "https://www.w3.org/TR/rdf12-semantics/#bib-rdf12-new", + "https://www.w3.org/TR/rdf12-semantics/#bib-rdf12-primer", + "https://www.w3.org/TR/rdf12-semantics/#bib-rdf12-trig", + "https://www.w3.org/TR/rdf12-semantics/#bib-rdf12-turtle", + "https://www.w3.org/TR/rdf12-semantics/#bib-rdf12-xml", + "https://www.w3.org/TR/rdf12-semantics/#bib-rif-overview", + "https://www.w3.org/TR/rdf12-semantics/#bib-sparql12-concepts", + "https://www.w3.org/TR/rdf12-semantics/#bib-sparql12-entailment", + "https://www.w3.org/TR/rdf12-semantics/#bib-sparql12-federated-query", + "https://www.w3.org/TR/rdf12-semantics/#bib-sparql12-graph-store-protocol", + "https://www.w3.org/TR/rdf12-semantics/#bib-sparql12-new", + "https://www.w3.org/TR/rdf12-semantics/#bib-sparql12-protocol", + "https://www.w3.org/TR/rdf12-semantics/#bib-sparql12-query", + "https://www.w3.org/TR/rdf12-semantics/#bib-sparql12-results-csv-tsv", + "https://www.w3.org/TR/rdf12-semantics/#bib-sparql12-results-json", + "https://www.w3.org/TR/rdf12-semantics/#bib-sparql12-results-xml", + "https://www.w3.org/TR/rdf12-semantics/#bib-sparql12-service-description", + "https://www.w3.org/TR/rdf12-semantics/#bib-sparql12-update", + "https://www.w3.org/TR/rdf12-semantics/#bib-swbp-xsch-datatypes", + "https://www.w3.org/TR/rdf12-semantics/#back-to-top" + ] +} \ No newline at end of file diff --git a/tr/ids/sparql12-entailment.json b/tr/ids/sparql12-entailment.json new file mode 100644 index 000000000000..3a7c1895c72d --- /dev/null +++ b/tr/ids/sparql12-entailment.json @@ -0,0 +1,427 @@ +{ + "spec": { + "title": "SPARQL 1.2 Entailment Regimes", + "url": "https://www.w3.org/TR/sparql12-entailment/" + }, + "ids": [ + "https://www.w3.org/TR/sparql12-entailment/#initialUserConfig", + "https://www.w3.org/TR/sparql12-entailment/#toc-nav", + "https://www.w3.org/TR/sparql12-entailment/#toc-jump", + "https://www.w3.org/TR/sparql12-entailment/#toc-toggle", + "https://www.w3.org/TR/sparql12-entailment/#title", + "https://www.w3.org/TR/sparql12-entailment/#w3c-state", + "https://www.w3.org/TR/sparql12-entailment/#abstract", + "https://www.w3.org/TR/sparql12-entailment/#sotd", + "https://www.w3.org/TR/sparql12-entailment/#w3c_process_revision", + "https://www.w3.org/TR/sparql12-entailment/#set-of-documents", + "https://www.w3.org/TR/sparql12-entailment/#set-of-documents-0", + "https://www.w3.org/TR/sparql12-entailment/#toc", + "https://www.w3.org/TR/sparql12-entailment/#table-of-contents", + "https://www.w3.org/TR/sparql12-entailment/#sec-intro", + "https://www.w3.org/TR/sparql12-entailment/#x1-introduction", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-simple-entailment-relation-between-rdf-graphs-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdf-entailment-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdf-schema-entailment-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-d-entailment-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-owl-2-rdf-based-semantics-entailment-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-owl-2-direct-semantics-entailment-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rif-simple-entailment-1", + "https://www.w3.org/TR/sparql12-entailment/#Conventions", + "https://www.w3.org/TR/sparql12-entailment/#x1-1-document-conventions", + "https://www.w3.org/TR/sparql12-entailment/#syntax", + "https://www.w3.org/TR/sparql12-entailment/#x1-1-1-graph-syntax", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-turtle-abbreviations-1", + "https://www.w3.org/TR/sparql12-entailment/#namespaces", + "https://www.w3.org/TR/sparql12-entailment/#x1-1-2-namespaces", + "https://www.w3.org/TR/sparql12-entailment/#prelims", + "https://www.w3.org/TR/sparql12-entailment/#x1-1-3-preliminary-definitions", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-definitions-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdf-literals-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-blank-nodes-1", + "https://www.w3.org/TR/sparql12-entailment/#resultDesc", + "https://www.w3.org/TR/sparql12-entailment/#x1-1-4-result-descriptions", + "https://www.w3.org/TR/sparql12-entailment/#table0", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-variable-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdf-term-1", + "https://www.w3.org/TR/sparql12-entailment/#table01", + "https://www.w3.org/TR/sparql12-entailment/#entEffects", + "https://www.w3.org/TR/sparql12-entailment/#x1-2-effects-of-different-entailment-regimes", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdfd1-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdfs-entailment-rules-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdfs9-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdfs3-1", + "https://www.w3.org/TR/sparql12-entailment/#bgpMatchingExtensions", + "https://www.w3.org/TR/sparql12-entailment/#x1-3-extensions-to-basic-graph-pattern-matching", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-conditions-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-conditions-2", + "https://www.w3.org/TR/sparql12-entailment/#condition1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-scoping-graph-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdf-graph-equivalence-1", + "https://www.w3.org/TR/sparql12-entailment/#condition2", + "https://www.w3.org/TR/sparql12-entailment/#condition3", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-scoping-graph-2", + "https://www.w3.org/TR/sparql12-entailment/#condition4", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-scoping-graph-3", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-scoping-graph-4", + "https://www.w3.org/TR/sparql12-entailment/#entRegimeParts", + "https://www.w3.org/TR/sparql12-entailment/#x1-4-parts-of-an-entailment-regime", + "https://www.w3.org/TR/sparql12-entailment/#RDFEntRegime", + "https://www.w3.org/TR/sparql12-entailment/#x2-rdf-entailment-regime", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-malformedquery-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-queryrequestrefused-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdf-entailment-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-scoping-graph-5", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-skolemization-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdf-vocabulary-1", + "https://www.w3.org/TR/sparql12-entailment/#GeneralNotes", + "https://www.w3.org/TR/sparql12-entailment/#x3-general-notes-on-entailment-regimes-informative", + "https://www.w3.org/TR/sparql12-entailment/#bnodes", + "https://www.w3.org/TR/sparql12-entailment/#x3-1-blank-nodes-in-the-queried-graph", + "https://www.w3.org/TR/sparql12-entailment/#C1-Restriction", + "https://www.w3.org/TR/sparql12-entailment/#tablenoc1c2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdf-schema-entailment-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdfs-inference-rules-1", + "https://www.w3.org/TR/sparql12-entailment/#axiomaticTriples", + "https://www.w3.org/TR/sparql12-entailment/#x3-2-answers-from-axiomatic-triples", + "https://www.w3.org/TR/sparql12-entailment/#table3", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdfd1-2", + "https://www.w3.org/TR/sparql12-entailment/#table4", + "https://www.w3.org/TR/sparql12-entailment/#literalSubjects", + "https://www.w3.org/TR/sparql12-entailment/#x3-3-literals-in-the-subject-position", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-the-sparql-triple-patterns-definition-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-the-sparql-triple-patterns-definition-2", + "https://www.w3.org/TR/sparql12-entailment/#booleanQueries", + "https://www.w3.org/TR/sparql12-entailment/#x3-4-boolean-queries", + "https://www.w3.org/TR/sparql12-entailment/#aggregates", + "https://www.w3.org/TR/sparql12-entailment/#x3-5-aggregates-and-blank-nodes", + "https://www.w3.org/TR/sparql12-entailment/#aggregateExample", + "https://www.w3.org/TR/sparql12-entailment/#table3_1", + "https://www.w3.org/TR/sparql12-entailment/#aggregateExample2", + "https://www.w3.org/TR/sparql12-entailment/#table3_2", + "https://www.w3.org/TR/sparql12-entailment/#RDFSEntRegime", + "https://www.w3.org/TR/sparql12-entailment/#x4-rdfs-entailment-regime", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-malformedquery-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-queryrequestrefused-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdf-schema-entailment-3", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdfs-inconsistent-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdfs-inconsistent-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-queryrequestrefused-3", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-scoping-graph-6", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-skolemization-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdfs-vocabulary-1", + "https://www.w3.org/TR/sparql12-entailment/#inconsistencies", + "https://www.w3.org/TR/sparql12-entailment/#x4-1-inconsistencies-informative", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdf-schema-entailment-4", + "https://www.w3.org/TR/sparql12-entailment/#uncheckedInconsistencies", + "https://www.w3.org/TR/sparql12-entailment/#x4-1-1-effects-of-unchecked-inconsistencies", + "https://www.w3.org/TR/sparql12-entailment/#DEntRegime", + "https://www.w3.org/TR/sparql12-entailment/#x5-d-entailment-regime", + "https://www.w3.org/TR/sparql12-entailment/#d-entailment", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-datatype-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-datatype-map-1", + "https://www.w3.org/TR/sparql12-entailment/#CanonicalLit", + "https://www.w3.org/TR/sparql12-entailment/#x5-1-the-d-entailment-regime", + "https://www.w3.org/TR/sparql12-entailment/#CanonicalLiteral", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-malformedquery-3", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-queryrequestrefused-4", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-d-entailment-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-d-inconsistent-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-d-inconsistent-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-queryrequestrefused-5", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-scoping-graph-7", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-skolemization-3", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdfs-vocabulary-2", + "https://www.w3.org/TR/sparql12-entailment/#canonicalRep", + "https://www.w3.org/TR/sparql12-entailment/#x5-2-xml-schema-datatypes-and-canonical-lexical-representations", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-decimal-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-decimal-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-decimal-3", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-decimal-4", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-decimal-5", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-decimal-6", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-decimal-7", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-xsd-1-0-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-decimal-8", + "https://www.w3.org/TR/sparql12-entailment/#OWLRDFBSEntRegime", + "https://www.w3.org/TR/sparql12-entailment/#x6-owl-2-rdf-based-semantics-entailment-regime", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-owl-2-rdf-based-datatype-map-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-malformedquery-4", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-queryrequestrefused-6", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-owl-2-rdf-based-semantics-entailment-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-d-inconsistent-3", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-d-inconsistent-4", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-queryrequestrefused-7", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-owl-2-rdf-based-datatype-map-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-scoping-graph-8", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-skolemization-4", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-owl-2-rdf-based-vocabulary-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-datatype-names-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-facet-names-1", + "https://www.w3.org/TR/sparql12-entailment/#OWLRDFBSEntailments", + "https://www.w3.org/TR/sparql12-entailment/#x6-1-entailments-under-the-owl-2-rdf-based-semantics-informative", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-sec-7-1-1", + "https://www.w3.org/TR/sparql12-entailment/#OWLRDFBSRestrictions", + "https://www.w3.org/TR/sparql12-entailment/#x6-2-restriction-on-solutions", + "https://www.w3.org/TR/sparql12-entailment/#C2-RDF-Based", + "https://www.w3.org/TR/sparql12-entailment/#OWLRDFBSComputing", + "https://www.w3.org/TR/sparql12-entailment/#x6-3-computing-query-answers-under-the-rdf-based-semantics-informative", + "https://www.w3.org/TR/sparql12-entailment/#OWL2-RDFBS-Profiles", + "https://www.w3.org/TR/sparql12-entailment/#x6-4-owl-2-profiles-and-entailment-checkers", + "https://www.w3.org/TR/sparql12-entailment/#OWL2DL", + "https://www.w3.org/TR/sparql12-entailment/#x6-4-1-owl-2-dl", + "https://www.w3.org/TR/sparql12-entailment/#OWL2EL", + "https://www.w3.org/TR/sparql12-entailment/#x6-4-2-the-owl-2-el-profile", + "https://www.w3.org/TR/sparql12-entailment/#OWL2QL", + "https://www.w3.org/TR/sparql12-entailment/#x6-4-3-the-owl-2-ql-profile", + "https://www.w3.org/TR/sparql12-entailment/#OWL2RLDS", + "https://www.w3.org/TR/sparql12-entailment/#x6-4-4-the-owl-2-rl-profile", + "https://www.w3.org/TR/sparql12-entailment/#OWL2RL", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-implementation-using-rule-based-technologies-1", + "https://www.w3.org/TR/sparql12-entailment/#OWL2RLRDFBSComputing", + "https://www.w3.org/TR/sparql12-entailment/#x6-4-5-computing-query-answers-for-the-owl-2-rl-profile-with-rdf-based-semantics-informative", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-owl-rl-rule-1", + "https://www.w3.org/TR/sparql12-entailment/#table10", + "https://www.w3.org/TR/sparql12-entailment/#OWLDSEnRegime", + "https://www.w3.org/TR/sparql12-entailment/#x7-owl-2-direct-semantics-entailment-regime", + "https://www.w3.org/TR/sparql12-entailment/#OWLDSIntro", + "https://www.w3.org/TR/sparql12-entailment/#x7-1-introduction", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-mapping-the-queried-rdf-graph-into-an-owl-2-ontology-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-anonymous-individuals-1", + "https://www.w3.org/TR/sparql12-entailment/#OWLDSImports", + "https://www.w3.org/TR/sparql12-entailment/#x7-1-1-owl-import-directives", + "https://www.w3.org/TR/sparql12-entailment/#OWLImports", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-canonical-parsing-process-1", + "https://www.w3.org/TR/sparql12-entailment/#OWLDSExtGrammar", + "https://www.w3.org/TR/sparql12-entailment/#x7-1-2-extended-grammar-for-owl-2-direct-semantics-bgps", + "https://www.w3.org/TR/sparql12-entailment/#extendedStructuralSpec", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-owl-2-functional-style-syntax-grammar-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-var-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-sparql-grammar-1", + "https://www.w3.org/TR/sparql12-entailment/#VarTyping", + "https://www.w3.org/TR/sparql12-entailment/#x7-1-3-variable-typing", + "https://www.w3.org/TR/sparql12-entailment/#OWLDSEntRegime", + "https://www.w3.org/TR/sparql12-entailment/#x7-2-the-owl-2-direct-semantics-entailment-regime", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-owl-2-dl-ontology-document-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-malformedquery-5", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-queryrequestrefused-8", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-queryrequestrefused-9", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-owl-2-direct-semantics-entailment-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-scoping-graph-9", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-skolemization-5", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-owl-2-rdf-based-vocabulary-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-datatype-names-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-facet-names-2", + "https://www.w3.org/TR/sparql12-entailment/#OWLDSRestrictions", + "https://www.w3.org/TR/sparql12-entailment/#x7-3-restrictions-on-solutions-informative", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-table-5-1", + "https://www.w3.org/TR/sparql12-entailment/#OWLDSConstraints", + "https://www.w3.org/TR/sparql12-entailment/#x7-3-1-bgp-constraints-for-owl-2-dl", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-following-requirement-1", + "https://www.w3.org/TR/sparql12-entailment/#OWLDSLiteralVars", + "https://www.w3.org/TR/sparql12-entailment/#x7-3-2-queries-with-variables-in-literal-positions", + "https://www.w3.org/TR/sparql12-entailment/#table11", + "https://www.w3.org/TR/sparql12-entailment/#OWLDSHigherOrder", + "https://www.w3.org/TR/sparql12-entailment/#x7-4-higher-order-queries-informative", + "https://www.w3.org/TR/sparql12-entailment/#OWL2ProfilesDS", + "https://www.w3.org/TR/sparql12-entailment/#x7-5-owl-2-entailment-checkers-and-profiles", + "https://www.w3.org/TR/sparql12-entailment/#RIFCoreEnt", + "https://www.w3.org/TR/sparql12-entailment/#x8-rif-core-entailment", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-common-rif-rdf-interpretation-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-satisfies-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-model-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-generalized-rdf-graphs-1", + "https://www.w3.org/TR/sparql12-entailment/#SimpeRIFCoreEntRegime", + "https://www.w3.org/TR/sparql12-entailment/#x8-1-simple-rif-core-entailment-regime", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-malformedquery-6", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-queryrequestrefused-10", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rif-simple-entailment-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-scoping-graph-10", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-skolemization-6", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rif-rdf-combination-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-presentation-syntax-1", + "https://www.w3.org/TR/sparql12-entailment/#table11RIF", + "https://www.w3.org/TR/sparql12-entailment/#RIFCustomRuleSets", + "https://www.w3.org/TR/sparql12-entailment/#x8-2-custom-rulesets-for-common-vocabulary-interpretations-informative", + "https://www.w3.org/TR/sparql12-entailment/#RIFFiniteAnswers", + "https://www.w3.org/TR/sparql12-entailment/#x8-3-finite-answer-set-conditions-informative", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-safety-conditions-1", + "https://www.w3.org/TR/sparql12-entailment/#RIFDocReferences", + "https://www.w3.org/TR/sparql12-entailment/#x8-4-referencing-a-rif-document", + "https://www.w3.org/TR/sparql12-entailment/#RIFUsedWithProfile", + "https://www.w3.org/TR/sparql12-entailment/#x8-4-1-semantics-of-rif-usedwithprofile", + "https://www.w3.org/TR/sparql12-entailment/#RIFDereferencing", + "https://www.w3.org/TR/sparql12-entailment/#x8-4-2-dereferencing-rif-documents-informative", + "https://www.w3.org/TR/sparql12-entailment/#RIFHTTPDereferencing", + "https://www.w3.org/TR/sparql12-entailment/#x8-4-2-1-http-dereferencing", + "https://www.w3.org/TR/sparql12-entailment/#RIFDocsAsNamedGraphs", + "https://www.w3.org/TR/sparql12-entailment/#x8-4-2-2-encoding-rif-documents-within-named-graphs-in-the-dataset", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdf-datasets-1", + "https://www.w3.org/TR/sparql12-entailment/#tableRESULTRIF", + "https://www.w3.org/TR/sparql12-entailment/#tableRESULTRIFmeta", + "https://www.w3.org/TR/sparql12-entailment/#DataSets", + "https://www.w3.org/TR/sparql12-entailment/#x9-entailment-regimes-and-data-sets-informative", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-rdf-datasets-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-conditions-3", + "https://www.w3.org/TR/sparql12-entailment/#PropertyPaths", + "https://www.w3.org/TR/sparql12-entailment/#x10-entailment-regimes-and-property-paths-informative", + "https://www.w3.org/TR/sparql12-entailment/#property-path", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-property-paths-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-translated-to-algebra-objects-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-simplified-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-evaluation-semantics-1", + "https://www.w3.org/TR/sparql12-entailment/#resultUnion", + "https://www.w3.org/TR/sparql12-entailment/#resultBgpOne", + "https://www.w3.org/TR/sparql12-entailment/#firstJoin", + "https://www.w3.org/TR/sparql12-entailment/#bgp2", + "https://www.w3.org/TR/sparql12-entailment/#secondJoin", + "https://www.w3.org/TR/sparql12-entailment/#project", + "https://www.w3.org/TR/sparql12-entailment/#PropertyPathsLimitations", + "https://www.w3.org/TR/sparql12-entailment/#x10-1-limitations-of-property-paths-in-combination-with-entailment-regimes", + "https://www.w3.org/TR/sparql12-entailment/#Updates", + "https://www.w3.org/TR/sparql12-entailment/#x11-entailment-regimes-and-updates-informative", + "https://www.w3.org/TR/sparql12-entailment/#AppendixMapping", + "https://www.w3.org/TR/sparql12-entailment/#x12-appendix-mapping-from-bgps-to-the-extended-owl-2-structural-specification", + "https://www.w3.org/TR/sparql12-entailment/#OWL2parsingBGPs", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-structurally-equivalent-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-canonical-parsing-process-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-ontology-1", + "https://www.w3.org/TR/sparql12-entailment/#OWLParsing", + "https://www.w3.org/TR/sparql12-entailment/#x12-1-parsing-bgps-into-objects-of-the-extended-owl-2-structural-specification", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-section-3-2-1", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-mapping-the-queried-rdf-graph-into-an-owl-2-ontology-2", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-table-12-1", + "https://www.w3.org/TR/sparql12-entailment/#AppendixProofs", + "https://www.w3.org/TR/sparql12-entailment/#x13-appendix-proofs", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-scoping-graph-11", + "https://www.w3.org/TR/sparql12-entailment/#ref-for-index-term-scoping-graph-12", + "https://www.w3.org/TR/sparql12-entailment/#conformance", + "https://www.w3.org/TR/sparql12-entailment/#x14-conformance", + "https://www.w3.org/TR/sparql12-entailment/#conformance-0", + "https://www.w3.org/TR/sparql12-entailment/#x14-1-conformance", + "https://www.w3.org/TR/sparql12-entailment/#privacy", + "https://www.w3.org/TR/sparql12-entailment/#x15-privacy-considerations", + "https://www.w3.org/TR/sparql12-entailment/#security", + "https://www.w3.org/TR/sparql12-entailment/#x16-security-considerations", + "https://www.w3.org/TR/sparql12-entailment/#internationalization", + "https://www.w3.org/TR/sparql12-entailment/#x17-internationalization-considerations", + "https://www.w3.org/TR/sparql12-entailment/#changes-from-sparql11", + "https://www.w3.org/TR/sparql12-entailment/#a-change-log", + "https://www.w3.org/TR/sparql12-entailment/#index", + "https://www.w3.org/TR/sparql12-entailment/#b-index", + "https://www.w3.org/TR/sparql12-entailment/#index-defined-here", + "https://www.w3.org/TR/sparql12-entailment/#b-1-terms-defined-by-this-specification", + "https://www.w3.org/TR/sparql12-entailment/#index-defined-elsewhere", + "https://www.w3.org/TR/sparql12-entailment/#b-2-terms-defined-by-reference", + "https://www.w3.org/TR/sparql12-entailment/#index-term-owl-2-dl-ontology-document", + "https://www.w3.org/TR/sparql12-entailment/#index-term-owl-2-direct-semantics-entailment", + "https://www.w3.org/TR/sparql12-entailment/#index-term-canonical-parsing-process", + "https://www.w3.org/TR/sparql12-entailment/#index-term-mapping-the-queried-rdf-graph-into-an-owl-2-ontology", + "https://www.w3.org/TR/sparql12-entailment/#index-term-section-3-2", + "https://www.w3.org/TR/sparql12-entailment/#index-term-table-12", + "https://www.w3.org/TR/sparql12-entailment/#index-term-implementation-using-rule-based-technologies", + "https://www.w3.org/TR/sparql12-entailment/#index-term-owl-rl-rule", + "https://www.w3.org/TR/sparql12-entailment/#index-term-d-inconsistent", + "https://www.w3.org/TR/sparql12-entailment/#index-term-datatype-names", + "https://www.w3.org/TR/sparql12-entailment/#index-term-facet-names", + "https://www.w3.org/TR/sparql12-entailment/#index-term-owl-2-rdf-based-datatype-map", + "https://www.w3.org/TR/sparql12-entailment/#index-term-owl-2-rdf-based-semantics-entailment", + "https://www.w3.org/TR/sparql12-entailment/#index-term-owl-2-rdf-based-vocabulary", + "https://www.w3.org/TR/sparql12-entailment/#index-term-sec-7-1", + "https://www.w3.org/TR/sparql12-entailment/#index-term-anonymous-individuals", + "https://www.w3.org/TR/sparql12-entailment/#index-term-following-requirement", + "https://www.w3.org/TR/sparql12-entailment/#index-term-ontology", + "https://www.w3.org/TR/sparql12-entailment/#index-term-owl-2-functional-style-syntax-grammar", + "https://www.w3.org/TR/sparql12-entailment/#index-term-structurally-equivalent", + "https://www.w3.org/TR/sparql12-entailment/#index-term-table-5", + "https://www.w3.org/TR/sparql12-entailment/#index-term-blank-nodes", + "https://www.w3.org/TR/sparql12-entailment/#index-term-datatype", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rdf-graph-equivalence", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rdf-literals", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rdf-term", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rdfs-inconsistent", + "https://www.w3.org/TR/sparql12-entailment/#index-term-d-entailment", + "https://www.w3.org/TR/sparql12-entailment/#index-term-datatype-map", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rdf-entailment", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rdf-schema-entailment", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rdf-vocabulary", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rdfd1", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rdfs-entailment-rules", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rdfs-inference-rules", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rdfs-vocabulary", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rdfs3", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rdfs9", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rule-rdfs7", + "https://www.w3.org/TR/sparql12-entailment/#index-term-simple-entailment-relation-between-rdf-graphs", + "https://www.w3.org/TR/sparql12-entailment/#index-term-skolemization", + "https://www.w3.org/TR/sparql12-entailment/#index-term-turtle-abbreviations", + "https://www.w3.org/TR/sparql12-entailment/#index-term-model", + "https://www.w3.org/TR/sparql12-entailment/#index-term-presentation-syntax", + "https://www.w3.org/TR/sparql12-entailment/#index-term-safety-conditions", + "https://www.w3.org/TR/sparql12-entailment/#index-term-common-rif-rdf-interpretation", + "https://www.w3.org/TR/sparql12-entailment/#index-term-generalized-rdf-graphs", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rif-rdf-combination", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rif-simple-entailment", + "https://www.w3.org/TR/sparql12-entailment/#index-term-satisfies", + "https://www.w3.org/TR/sparql12-entailment/#index-term-malformedquery", + "https://www.w3.org/TR/sparql12-entailment/#index-term-queryrequestrefused", + "https://www.w3.org/TR/sparql12-entailment/#index-term-conditions", + "https://www.w3.org/TR/sparql12-entailment/#index-term-definitions", + "https://www.w3.org/TR/sparql12-entailment/#index-term-evaluation-semantics", + "https://www.w3.org/TR/sparql12-entailment/#index-term-property-paths", + "https://www.w3.org/TR/sparql12-entailment/#index-term-rdf-datasets", + "https://www.w3.org/TR/sparql12-entailment/#index-term-scoping-graph", + "https://www.w3.org/TR/sparql12-entailment/#index-term-simplified", + "https://www.w3.org/TR/sparql12-entailment/#index-term-sparql-grammar", + "https://www.w3.org/TR/sparql12-entailment/#index-term-the-sparql-triple-patterns-definition", + "https://www.w3.org/TR/sparql12-entailment/#index-term-translated-to-algebra-objects", + "https://www.w3.org/TR/sparql12-entailment/#index-term-var", + "https://www.w3.org/TR/sparql12-entailment/#index-term-variable", + "https://www.w3.org/TR/sparql12-entailment/#index-term-decimal", + "https://www.w3.org/TR/sparql12-entailment/#index-term-xsd-1-0", + "https://www.w3.org/TR/sparql12-entailment/#references", + "https://www.w3.org/TR/sparql12-entailment/#c-references", + "https://www.w3.org/TR/sparql12-entailment/#normative-references", + "https://www.w3.org/TR/sparql12-entailment/#c-1-normative-references", + "https://www.w3.org/TR/sparql12-entailment/#bib-owl2-conformance", + "https://www.w3.org/TR/sparql12-entailment/#bib-owl2-direct-semantics", + "https://www.w3.org/TR/sparql12-entailment/#bib-owl2-mapping-to-rdf", + "https://www.w3.org/TR/sparql12-entailment/#bib-owl2-profiles", + "https://www.w3.org/TR/sparql12-entailment/#bib-owl2-rdf-based-semantics", + "https://www.w3.org/TR/sparql12-entailment/#bib-owl2-syntax", + "https://www.w3.org/TR/sparql12-entailment/#bib-rdf12-concepts", + "https://www.w3.org/TR/sparql12-entailment/#bib-rdf12-semantics", + "https://www.w3.org/TR/sparql12-entailment/#bib-rdf12-turtle", + "https://www.w3.org/TR/sparql12-entailment/#bib-rfc2119", + "https://www.w3.org/TR/sparql12-entailment/#bib-rfc8174", + "https://www.w3.org/TR/sparql12-entailment/#bib-rif-bld", + "https://www.w3.org/TR/sparql12-entailment/#bib-rif-core", + "https://www.w3.org/TR/sparql12-entailment/#bib-rif-in-rdf", + "https://www.w3.org/TR/sparql12-entailment/#bib-rif-owl-rl", + "https://www.w3.org/TR/sparql12-entailment/#bib-rif-rdf-owl", + "https://www.w3.org/TR/sparql12-entailment/#bib-sparql12-protocol", + "https://www.w3.org/TR/sparql12-entailment/#bib-sparql12-query", + "https://www.w3.org/TR/sparql12-entailment/#bib-xmlschema11-2", + "https://www.w3.org/TR/sparql12-entailment/#informative-references", + "https://www.w3.org/TR/sparql12-entailment/#c-2-informative-references", + "https://www.w3.org/TR/sparql12-entailment/#bib-horst05", + "https://www.w3.org/TR/sparql12-entailment/#bib-owl2-overview", + "https://www.w3.org/TR/sparql12-entailment/#bib-rdf12-n-quads", + "https://www.w3.org/TR/sparql12-entailment/#bib-rdf12-n-triples", + "https://www.w3.org/TR/sparql12-entailment/#bib-rdf12-new", + "https://www.w3.org/TR/sparql12-entailment/#bib-rdf12-primer", + "https://www.w3.org/TR/sparql12-entailment/#bib-rdf12-schema", + "https://www.w3.org/TR/sparql12-entailment/#bib-rdf12-trig", + "https://www.w3.org/TR/sparql12-entailment/#bib-rdf12-xml", + "https://www.w3.org/TR/sparql12-entailment/#bib-safety", + "https://www.w3.org/TR/sparql12-entailment/#bib-sparql12-concepts", + "https://www.w3.org/TR/sparql12-entailment/#bib-sparql12-federated-query", + "https://www.w3.org/TR/sparql12-entailment/#bib-sparql12-graph-store-protocol", + "https://www.w3.org/TR/sparql12-entailment/#bib-sparql12-new", + "https://www.w3.org/TR/sparql12-entailment/#bib-sparql12-results-csv-tsv", + "https://www.w3.org/TR/sparql12-entailment/#bib-sparql12-results-json", + "https://www.w3.org/TR/sparql12-entailment/#bib-sparql12-results-xml", + "https://www.w3.org/TR/sparql12-entailment/#bib-sparql12-service-description", + "https://www.w3.org/TR/sparql12-entailment/#bib-sparql12-update", + "https://www.w3.org/TR/sparql12-entailment/#back-to-top" + ] +} \ No newline at end of file diff --git a/tr/index.json b/tr/index.json index 38c0944896cb..05d9bf76278f 100644 --- a/tr/index.json +++ b/tr/index.json @@ -1,7 +1,7 @@ { "type": "crawl", "title": "Reffy crawl", - "date": "2023-06-22T01:29:20.796Z", + "date": "2023-06-23T01:33:50.683Z", "options": { "fallback": "webref-fallback/tr/index.json", "output": "report", @@ -27,10 +27,10 @@ ] }, "stats": { - "crawled": 299, + "crawled": 301, "errors": 0 }, - "crawler": "reffy-13.1.0", + "crawler": "reffy-13.1.1", "results": [ { "url": "https://www.w3.org/TR/accelerometer/", @@ -12483,7 +12483,7 @@ ], "release": { "url": "https://www.w3.org/TR/rdf12-concepts/", - "status": "First Public Working Draft", + "status": "Working Draft", "filename": "Overview.html" }, "nightly": { @@ -12537,7 +12537,7 @@ ], "release": { "url": "https://www.w3.org/TR/rdf12-n-quads/", - "status": "First Public Working Draft", + "status": "Working Draft", "filename": "Overview.html" }, "nightly": { @@ -12591,7 +12591,7 @@ ], "release": { "url": "https://www.w3.org/TR/rdf12-n-triples/", - "status": "First Public Working Draft", + "status": "Working Draft", "filename": "Overview.html" }, "nightly": { @@ -12645,7 +12645,7 @@ ], "release": { "url": "https://www.w3.org/TR/rdf12-schema/", - "status": "First Public Working Draft", + "status": "Working Draft", "filename": "Overview.html" }, "nightly": { @@ -12675,6 +12675,60 @@ "headings": "headings/rdf12-schema.json", "ids": "ids/rdf12-schema.json" }, + { + "url": "https://www.w3.org/TR/rdf12-semantics/", + "seriesComposition": "full", + "shortname": "rdf12-semantics", + "series": { + "shortname": "rdf-semantics", + "currentSpecification": "rdf12-semantics", + "title": "RDF Semantics", + "shortTitle": "RDF Semantics", + "releaseUrl": "https://www.w3.org/TR/rdf-semantics/", + "nightlyUrl": "https://w3c.github.io/rdf-semantics/spec/" + }, + "seriesVersion": "1.2", + "categories": [], + "organization": "W3C", + "groups": [ + { + "name": "RDF-star Working Group", + "url": "https://www.w3.org/groups/wg/rdf-star" + } + ], + "release": { + "url": "https://www.w3.org/TR/rdf12-semantics/", + "status": "Working Draft", + "filename": "Overview.html" + }, + "nightly": { + "url": "https://w3c.github.io/rdf-semantics/spec/", + "status": "Editor's Draft", + "alternateUrls": [], + "repository": "https://github.com/w3c/rdf-semantics", + "sourcePath": "spec/index.html", + "filename": "index.html" + }, + "title": "RDF 1.2 Semantics", + "source": "w3c", + "shortTitle": "RDF 1.2 Semantics", + "standing": "good", + "versions": [ + "https://www.w3.org/TR/rdf12-semantics/", + "https://w3c.github.io/rdf-semantics/spec/" + ], + "crawled": "https://www.w3.org/TR/rdf12-semantics/", + "crawlCacheInfo": { + "lastModified": "Thu, 15 Jun 2023 23:29:47 GMT" + }, + "generator": "respec", + "date": "15 June 2023", + "links": "links/rdf12-semantics.json", + "refs": "refs/rdf12-semantics.json", + "dfns": "dfns/rdf12-semantics.json", + "headings": "headings/rdf12-semantics.json", + "ids": "ids/rdf12-semantics.json" + }, { "url": "https://www.w3.org/TR/rdf12-trig/", "seriesComposition": "full", @@ -12752,7 +12806,7 @@ ], "release": { "url": "https://www.w3.org/TR/rdf12-turtle/", - "status": "First Public Working Draft", + "status": "Working Draft", "filename": "Overview.html" }, "nightly": { @@ -12806,7 +12860,7 @@ ], "release": { "url": "https://www.w3.org/TR/rdf12-xml/", - "status": "First Public Working Draft", + "status": "Working Draft", "filename": "Overview.html" }, "nightly": { @@ -13554,7 +13608,7 @@ ], "release": { "url": "https://www.w3.org/TR/secure-payment-confirmation/", - "status": "Working Draft", + "status": "Candidate Recommendation Draft", "filename": "Overview.html" }, "nightly": { @@ -13974,6 +14028,59 @@ "headings": "headings/service-workers.json", "ids": "ids/service-workers.json" }, + { + "url": "https://www.w3.org/TR/sparql12-entailment/", + "seriesComposition": "full", + "shortname": "sparql12-entailment", + "series": { + "shortname": "sparql-entailment", + "currentSpecification": "sparql12-entailment", + "title": "SPARQL Entailment Regimes", + "shortTitle": "SPARQL Entailment Regimes", + "releaseUrl": "https://www.w3.org/TR/sparql-entailment/", + "nightlyUrl": "https://w3c.github.io/sparql-entailment/spec/" + }, + "seriesVersion": "1.2", + "categories": [], + "organization": "W3C", + "groups": [ + { + "name": "RDF-star Working Group", + "url": "https://www.w3.org/groups/wg/rdf-star" + } + ], + "release": { + "url": "https://www.w3.org/TR/sparql12-entailment/", + "status": "Working Draft", + "filename": "Overview.html" + }, + "nightly": { + "url": "https://w3c.github.io/sparql-entailment/spec/", + "status": "Editor's Draft", + "alternateUrls": [], + "repository": "https://github.com/w3c/sparql-entailment", + "sourcePath": "spec/index.html", + "filename": "index.html" + }, + "title": "SPARQL 1.2 Entailment Regimes", + "source": "w3c", + "shortTitle": "SPARQL 1.2 Entailment Regimes", + "standing": "good", + "versions": [ + "https://www.w3.org/TR/sparql12-entailment/", + "https://w3c.github.io/sparql-entailment/spec/" + ], + "crawled": "https://www.w3.org/TR/sparql12-entailment/", + "crawlCacheInfo": { + "lastModified": "Thu, 15 Jun 2023 21:09:06 GMT" + }, + "generator": "respec", + "date": "15 June 2023", + "links": "links/sparql12-entailment.json", + "refs": "refs/sparql12-entailment.json", + "headings": "headings/sparql12-entailment.json", + "ids": "ids/sparql12-entailment.json" + }, { "url": "https://www.w3.org/TR/sparql12-federated-query/", "seriesComposition": "full", @@ -13997,7 +14104,7 @@ ], "release": { "url": "https://www.w3.org/TR/sparql12-federated-query/", - "status": "First Public Working Draft", + "status": "Working Draft", "filename": "Overview.html" }, "nightly": { @@ -14050,7 +14157,7 @@ ], "release": { "url": "https://www.w3.org/TR/sparql12-graph-store-protocol/", - "status": "First Public Working Draft", + "status": "Working Draft", "filename": "Overview.html" }, "nightly": { @@ -14103,7 +14210,7 @@ ], "release": { "url": "https://www.w3.org/TR/sparql12-protocol/", - "status": "First Public Working Draft", + "status": "Working Draft", "filename": "Overview.html" }, "nightly": { @@ -14156,7 +14263,7 @@ ], "release": { "url": "https://www.w3.org/TR/sparql12-query/", - "status": "First Public Working Draft", + "status": "Working Draft", "filename": "Overview.html" }, "nightly": { @@ -14210,7 +14317,7 @@ ], "release": { "url": "https://www.w3.org/TR/sparql12-results-csv-tsv/", - "status": "First Public Working Draft", + "status": "Working Draft", "filename": "Overview.html" }, "nightly": { @@ -14263,7 +14370,7 @@ ], "release": { "url": "https://www.w3.org/TR/sparql12-results-json/", - "status": "First Public Working Draft", + "status": "Working Draft", "filename": "Overview.html" }, "nightly": { @@ -14316,7 +14423,7 @@ ], "release": { "url": "https://www.w3.org/TR/sparql12-results-xml/", - "status": "First Public Working Draft", + "status": "Working Draft", "filename": "Overview.html" }, "nightly": { @@ -14369,7 +14476,7 @@ ], "release": { "url": "https://www.w3.org/TR/sparql12-service-description/", - "status": "First Public Working Draft", + "status": "Working Draft", "filename": "Overview.html" }, "nightly": { @@ -14422,7 +14529,7 @@ ], "release": { "url": "https://www.w3.org/TR/sparql12-update/", - "status": "First Public Working Draft", + "status": "Working Draft", "filename": "Overview.html" }, "nightly": { @@ -18599,6 +18706,12 @@ "browser" ], "standing": "good", + "tests": { + "repository": "https://github.com/web-platform-tests/wpt", + "testPaths": [ + "window-management" + ] + }, "versions": [ "https://www.w3.org/TR/window-management/", "https://w3c.github.io/window-management/" diff --git a/tr/links/rdf12-concepts.json b/tr/links/rdf12-concepts.json index 8f7c80ca9573..229a3b43d0c0 100644 --- a/tr/links/rdf12-concepts.json +++ b/tr/links/rdf12-concepts.json @@ -130,7 +130,8 @@ "https://www.w3.org/TR/rdf12-semantics/": { "anchors": [ "dfn-entailment-regime" - ] + ], + "specShortname": "rdf12-semantics" }, "https://www.w3.org/TR/rdf12-trig/": { "specShortname": "rdf12-trig" @@ -146,7 +147,9 @@ }, "https://www.w3.org/TR/rdfa-primer/": {}, "https://www.w3.org/TR/sparql11-query/": {}, - "https://www.w3.org/TR/sparql12-entailment/": {}, + "https://www.w3.org/TR/sparql12-entailment/": { + "specShortname": "sparql12-entailment" + }, "https://www.w3.org/TR/sparql12-federated-query/": { "specShortname": "sparql12-federated-query" }, diff --git a/tr/links/rdf12-n-quads.json b/tr/links/rdf12-n-quads.json index ee5d97c2b8e2..93e42aeefd55 100644 --- a/tr/links/rdf12-n-quads.json +++ b/tr/links/rdf12-n-quads.json @@ -72,7 +72,9 @@ "https://www.w3.org/TR/rdf12-schema/": { "specShortname": "rdf12-schema" }, - "https://www.w3.org/TR/rdf12-semantics/": {}, + "https://www.w3.org/TR/rdf12-semantics/": { + "specShortname": "rdf12-semantics" + }, "https://www.w3.org/TR/rdf12-trig/": { "specShortname": "rdf12-trig" }, @@ -82,7 +84,9 @@ "https://www.w3.org/TR/rdf12-xml/": { "specShortname": "rdf12-xml" }, - "https://www.w3.org/TR/sparql12-entailment/": {}, + "https://www.w3.org/TR/sparql12-entailment/": { + "specShortname": "sparql12-entailment" + }, "https://www.w3.org/TR/sparql12-federated-query/": { "specShortname": "sparql12-federated-query" }, diff --git a/tr/links/rdf12-n-triples.json b/tr/links/rdf12-n-triples.json index 8239266a5f45..59bdd6a31225 100644 --- a/tr/links/rdf12-n-triples.json +++ b/tr/links/rdf12-n-triples.json @@ -60,7 +60,9 @@ "https://www.w3.org/TR/rdf12-schema/": { "specShortname": "rdf12-schema" }, - "https://www.w3.org/TR/rdf12-semantics/": {}, + "https://www.w3.org/TR/rdf12-semantics/": { + "specShortname": "rdf12-semantics" + }, "https://www.w3.org/TR/rdf12-trig/": { "specShortname": "rdf12-trig" }, @@ -73,7 +75,9 @@ "https://www.w3.org/TR/rdf12-xml/": { "specShortname": "rdf12-xml" }, - "https://www.w3.org/TR/sparql12-entailment/": {}, + "https://www.w3.org/TR/sparql12-entailment/": { + "specShortname": "sparql12-entailment" + }, "https://www.w3.org/TR/sparql12-federated-query/": { "specShortname": "sparql12-federated-query" }, diff --git a/tr/links/rdf12-schema.json b/tr/links/rdf12-schema.json index b07608191e3e..b219df648044 100644 --- a/tr/links/rdf12-schema.json +++ b/tr/links/rdf12-schema.json @@ -63,7 +63,8 @@ "https://www.w3.org/TR/rdf12-semantics/": { "anchors": [ "semantic-extensions-and-entailment-regimes" - ] + ], + "specShortname": "rdf12-semantics" }, "https://www.w3.org/TR/rdf12-trig/": { "specShortname": "rdf12-trig" @@ -77,7 +78,9 @@ "https://www.w3.org/TR/rdf12-xml/": { "specShortname": "rdf12-xml" }, - "https://www.w3.org/TR/sparql12-entailment/": {}, + "https://www.w3.org/TR/sparql12-entailment/": { + "specShortname": "sparql12-entailment" + }, "https://www.w3.org/TR/sparql12-federated-query/": { "specShortname": "sparql12-federated-query" }, diff --git a/tr/links/rdf12-semantics.json b/tr/links/rdf12-semantics.json new file mode 100644 index 000000000000..3e20c69be58e --- /dev/null +++ b/tr/links/rdf12-semantics.json @@ -0,0 +1,142 @@ +{ + "spec": { + "title": "RDF 1.2 Semantics", + "url": "https://www.w3.org/TR/rdf12-semantics/" + }, + "links": { + "http://en.wikipedia.org/wiki/Herbrand_interpretation": {}, + "https://datatracker.ietf.org/doc/html/bcp14": {}, + "https://doi.org/10.1007/978-3-540-30475-3_7": {}, + "https://dx.doi.org/10.2139/ssrn.3199251": {}, + "https://w3c.github.io/rdf-new/spec/": {}, + "https://w3c.github.io/rdf-primer/spec/": {}, + "https://w3c.github.io/sparql-concepts/spec/": { + "specShortname": "sparql12-concepts" + }, + "https://w3c.github.io/sparql-new/spec/": {}, + "https://www.iso.org/standard/66249.html": {}, + "https://www.rfc-editor.org/rfc/rfc2119": {}, + "https://www.rfc-editor.org/rfc/rfc8174": {}, + "https://www.w3.org/2021/Process-20211102/": { + "anchors": [ + "recs-and-notes" + ] + }, + "https://www.w3.org/Consortium/Patent-Policy/": { + "anchors": [ + "def-essential", + "sec-Disclosure" + ], + "specShortname": "w3c-patent-policy" + }, + "https://www.w3.org/TR/": {}, + "https://www.w3.org/TR/owl2-overview/": {}, + "https://www.w3.org/TR/owl2-profiles/": {}, + "https://www.w3.org/TR/owl2-syntax/": {}, + "https://www.w3.org/TR/rdf-mt/": {}, + "https://www.w3.org/TR/rdf-plain-literal/": {}, + "https://www.w3.org/TR/rdf-testcases/": {}, + "https://www.w3.org/TR/rdf11-mt/": {}, + "https://www.w3.org/TR/rdf12-concepts/": { + "anchors": [ + "dfn-entailment", + "dfn-iri", + "dfn-rdf-triple", + "dfn-rdf-graph", + "dfn-subject", + "dfn-predicate", + "dfn-object", + "dfn-rdf-source", + "dfn-node", + "dfn-blank-node", + "dfn-literal", + "dfn-graph-isomorphism", + "dfn-rdf-dataset", + "dfn-generalized-rdf-triple", + "dfn-generalized-rdf-graph", + "dfn-generalized-rdf-dataset", + "dfn-denote", + "dfn-referent", + "dfn-rdf-vocabulary", + "dfn-blank-node-identifier", + "dfn-language-tagged-string", + "dfn-equivalence", + "dfn-inconsistent", + "section-skolemization", + "section-Datatypes", + "dfn-lexical-to-value-mapping", + "section-XMLLiteral", + "section-html", + "section-generalized-rdf" + ], + "specShortname": "rdf12-concepts" + }, + "https://www.w3.org/TR/rdf12-n-quads/": { + "specShortname": "rdf12-n-quads" + }, + "https://www.w3.org/TR/rdf12-n-triples/": { + "specShortname": "rdf12-n-triples" + }, + "https://www.w3.org/TR/rdf12-schema/": { + "specShortname": "rdf12-schema" + }, + "https://www.w3.org/TR/rdf12-trig/": { + "specShortname": "rdf12-trig" + }, + "https://www.w3.org/TR/rdf12-turtle/": { + "specShortname": "rdf12-turtle" + }, + "https://www.w3.org/TR/rdf12-xml/": { + "specShortname": "rdf12-xml" + }, + "https://www.w3.org/TR/rif-overview/": {}, + "https://www.w3.org/TR/sparql12-entailment/": { + "specShortname": "sparql12-entailment" + }, + "https://www.w3.org/TR/sparql12-federated-query/": { + "specShortname": "sparql12-federated-query" + }, + "https://www.w3.org/TR/sparql12-graph-store-protocol/": { + "specShortname": "sparql12-graph-store-protocol" + }, + "https://www.w3.org/TR/sparql12-protocol/": { + "specShortname": "sparql12-protocol" + }, + "https://www.w3.org/TR/sparql12-query/": { + "specShortname": "sparql12-query" + }, + "https://www.w3.org/TR/sparql12-results-csv-tsv/": { + "specShortname": "sparql12-results-csv-tsv" + }, + "https://www.w3.org/TR/sparql12-results-json/": { + "specShortname": "sparql12-results-json" + }, + "https://www.w3.org/TR/sparql12-results-xml/": { + "specShortname": "sparql12-results-xml" + }, + "https://www.w3.org/TR/sparql12-service-description/": { + "specShortname": "sparql12-service-description" + }, + "https://www.w3.org/TR/sparql12-update/": { + "specShortname": "sparql12-update" + }, + "https://www.w3.org/TR/swbp-xsch-datatypes/": { + "anchors": [ + "sec-values" + ] + }, + "https://www.w3.org/TR/turtle/": {}, + "https://www.w3.org/TR/xml11/": { + "anchors": [ + "NT-Char" + ] + }, + "https://www.w3.org/TR/xmlschema11-2/": { + "anchors": [ + "string" + ] + }, + "https://www.w3.org/groups/wg/rdf-star": {}, + "https://www.w3.org/groups/wg/rdf-star/ipr": {} + } +} \ No newline at end of file diff --git a/tr/links/rdf12-turtle.json b/tr/links/rdf12-turtle.json index 93135743f639..f7f3b05ea2e6 100644 --- a/tr/links/rdf12-turtle.json +++ b/tr/links/rdf12-turtle.json @@ -82,7 +82,8 @@ "https://www.w3.org/TR/rdf12-semantics/": { "anchors": [ "rdf-collections" - ] + ], + "specShortname": "rdf12-semantics" }, "https://www.w3.org/TR/rdf12-trig/": { "specShortname": "rdf12-trig" @@ -93,7 +94,9 @@ ], "specShortname": "rdf12-xml" }, - "https://www.w3.org/TR/sparql12-entailment/": {}, + "https://www.w3.org/TR/sparql12-entailment/": { + "specShortname": "sparql12-entailment" + }, "https://www.w3.org/TR/sparql12-federated-query/": { "specShortname": "sparql12-federated-query" }, diff --git a/tr/links/rdf12-xml.json b/tr/links/rdf12-xml.json index 9b3f70ed5b26..aa988bf4c16a 100644 --- a/tr/links/rdf12-xml.json +++ b/tr/links/rdf12-xml.json @@ -150,7 +150,9 @@ "https://www.w3.org/TR/rdf12-schema/": { "specShortname": "rdf12-schema" }, - "https://www.w3.org/TR/rdf12-semantics/": {}, + "https://www.w3.org/TR/rdf12-semantics/": { + "specShortname": "rdf12-semantics" + }, "https://www.w3.org/TR/rdf12-trig/": { "specShortname": "rdf12-trig" }, @@ -158,7 +160,9 @@ "specShortname": "rdf12-turtle" }, "https://www.w3.org/TR/rdfa-primer/": {}, - "https://www.w3.org/TR/sparql12-entailment/": {}, + "https://www.w3.org/TR/sparql12-entailment/": { + "specShortname": "sparql12-entailment" + }, "https://www.w3.org/TR/sparql12-federated-query/": { "specShortname": "sparql12-federated-query" }, diff --git a/tr/links/sparql12-entailment.json b/tr/links/sparql12-entailment.json new file mode 100644 index 000000000000..63597b82cc22 --- /dev/null +++ b/tr/links/sparql12-entailment.json @@ -0,0 +1,217 @@ +{ + "spec": { + "title": "SPARQL 1.2 Entailment Regimes", + "url": "https://www.w3.org/TR/sparql12-entailment/" + }, + "links": { + "http://arxiv.org/abs/cs.LO/9809032": {}, + "http://www.w3.org/2005/rules/wiki/Class_Membership": {}, + "http://www.w3.org/TR/owl2-test/": { + "anchors": [ + "Entailment_Checker" + ] + }, + "http://www.w3.org/ns/entailment/D": {}, + "http://www.w3.org/ns/entailment/OWL-Direct": {}, + "http://www.w3.org/ns/entailment/OWL-RDF-Based": {}, + "http://www.w3.org/ns/entailment/RDF": {}, + "http://www.w3.org/ns/entailment/RDFS": {}, + "http://www.w3.org/ns/entailment/RIF": {}, + "http://www.w3.org/ns/owl-profile/DL": {}, + "http://www.w3.org/ns/owl-profile/EL": {}, + "http://www.w3.org/ns/owl-profile/QL": {}, + "http://www.w3.org/ns/owl-profile/RL": {}, + "https://datatracker.ietf.org/doc/html/bcp14": {}, + "https://dx.doi.org/10.2139/ssrn.3199251": {}, + "https://w3c.github.io/rdf-new/spec/": {}, + "https://w3c.github.io/rdf-primer/spec/": {}, + "https://w3c.github.io/sparql-concepts/spec/": { + "specShortname": "sparql12-concepts" + }, + "https://w3c.github.io/sparql-new/spec/": {}, + "https://www.rfc-editor.org/rfc/rfc2119": {}, + "https://www.rfc-editor.org/rfc/rfc8174": {}, + "https://www.w3.org/2021/Process-20211102/": { + "anchors": [ + "recs-and-notes" + ] + }, + "https://www.w3.org/Consortium/Patent-Policy/": { + "anchors": [ + "def-essential", + "sec-Disclosure" + ], + "specShortname": "w3c-patent-policy" + }, + "https://www.w3.org/TR/": {}, + "https://www.w3.org/TR/owl2-conformance/": { + "anchors": [ + "Syntactic_Conformance" + ] + }, + "https://www.w3.org/TR/owl2-direct-semantics/": { + "anchors": [ + "Inference_Problems" + ] + }, + "https://www.w3.org/TR/owl2-mapping-to-rdf/": { + "anchors": [ + "Mapping_from_RDF_Graphs_to_the_Structural_Specification", + "Extracting_Declarations_and_the_IRIs_of_the_Directly_Imported_Ontology_Documents", + "Populating_an_Ontology", + "Parsing_of_Expressions" + ] + }, + "https://www.w3.org/TR/owl2-overview/": {}, + "https://www.w3.org/TR/owl2-profiles/": { + "anchors": [ + "Profile_Specification_3", + "Reasoning_in_OWL_2_RL_and_RDF_Graphs_using_Rules" + ] + }, + "https://www.w3.org/TR/owl2-rdf-based-semantics/": { + "anchors": [ + "Satisfaction.2C_Consistency_and_Entailment", + "def-owlconsistency", + "def-owldatatypemap", + "table-vocab-owl", + "Datatype_Names", + "Facet_Names", + "Example_on_Semantic_Differences" + ] + }, + "https://www.w3.org/TR/owl2-syntax/": { + "anchors": [ + "Anonymous_Individuals", + "Appendix:_Complete_Grammar_.28Normative.29", + "Entity_Declarations_and_Typing", + "The_Restrictions_on_the_Axiom_Closure", + "Structural_Specification", + "def_ontology" + ] + }, + "https://www.w3.org/TR/rdf12-concepts/": { + "anchors": [ + "dfn-literal", + "dfn-blank-node", + "dfn-rdf-term", + "section-graph-equality", + "dfn-inconsistent", + "section-Datatypes" + ], + "specShortname": "rdf12-concepts" + }, + "https://www.w3.org/TR/rdf12-n-quads/": { + "specShortname": "rdf12-n-quads" + }, + "https://www.w3.org/TR/rdf12-n-triples/": { + "specShortname": "rdf12-n-triples" + }, + "https://www.w3.org/TR/rdf12-schema/": { + "specShortname": "rdf12-schema" + }, + "https://www.w3.org/TR/rdf12-semantics/": { + "anchors": [ + "dfn-simply-entail", + "rdf_entail", + "rdfs_entailment", + "D_entailment", + "dfn-rdfd1", + "rdf_entailment_patterns", + "dfn-rdfs9", + "dfn-rdfs3", + "skolemization", + "dfn-rdf-vocabulary", + "rdfs_patterns", + "dfn-rdfs-vocabulary", + "dfn-datatype-map", + "dfn-rdfs7" + ], + "specShortname": "rdf12-semantics" + }, + "https://www.w3.org/TR/rdf12-trig/": { + "specShortname": "rdf12-trig" + }, + "https://www.w3.org/TR/rdf12-turtle/": { + "specShortname": "rdf12-turtle" + }, + "https://www.w3.org/TR/rdf12-xml/": { + "specShortname": "rdf12-xml" + }, + "https://www.w3.org/TR/rif-bld/": { + "anchors": [ + "def-bld-model-formula", + "EBNF_Grammar_for_the_Presentation_Syntax_of_RIF-BLD_.28Informative.29" + ] + }, + "https://www.w3.org/TR/rif-core/": { + "anchors": [ + "Safeness" + ] + }, + "https://www.w3.org/TR/rif-in-rdf/": {}, + "https://www.w3.org/TR/rif-owl-rl/": {}, + "https://www.w3.org/TR/rif-rdf-owl/": { + "anchors": [ + "def-simple-entails", + "def-common-rif-rdf-interpretation", + "def-rif-rdf-satisfies", + "def-generalized-rdf-graph", + "def-rif-rdf-combination" + ] + }, + "https://www.w3.org/TR/sparql12-federated-query/": { + "specShortname": "sparql12-federated-query" + }, + "https://www.w3.org/TR/sparql12-graph-store-protocol/": { + "specShortname": "sparql12-graph-store-protocol" + }, + "https://www.w3.org/TR/sparql12-protocol/": { + "anchors": [ + "select-malformed", + "select-refused" + ], + "specShortname": "sparql12-protocol" + }, + "https://www.w3.org/TR/sparql12-query/": { + "anchors": [ + "initDefinitions", + "defn_QueryVariable", + "sparqlBGPExtend", + "BGPsparqlBNodes", + "sparqlTriplePatterns", + "rVar", + "grammar", + "rdfDataset", + "propertypaths", + "sparqlTranslatePathExpressions", + "sparqlTranslatePathPatterns", + "sparqlAlgebraEval" + ], + "specShortname": "sparql12-query" + }, + "https://www.w3.org/TR/sparql12-results-csv-tsv/": { + "specShortname": "sparql12-results-csv-tsv" + }, + "https://www.w3.org/TR/sparql12-results-json/": { + "specShortname": "sparql12-results-json" + }, + "https://www.w3.org/TR/sparql12-results-xml/": { + "specShortname": "sparql12-results-xml" + }, + "https://www.w3.org/TR/sparql12-service-description/": { + "specShortname": "sparql12-service-description" + }, + "https://www.w3.org/TR/sparql12-update/": { + "specShortname": "sparql12-update" + }, + "https://www.w3.org/TR/xmlschema11-2/": { + "anchors": [ + "decimal", + "integer" + ] + }, + "https://www.w3.org/groups/wg/rdf-star": {}, + "https://www.w3.org/groups/wg/rdf-star/ipr": {} + } +} \ No newline at end of file diff --git a/tr/links/sparql12-federated-query.json b/tr/links/sparql12-federated-query.json index b407673d7f25..318b7b37cc57 100644 --- a/tr/links/sparql12-federated-query.json +++ b/tr/links/sparql12-federated-query.json @@ -68,7 +68,9 @@ "specShortname": "w3c-patent-policy" }, "https://www.w3.org/TR/": {}, - "https://www.w3.org/TR/sparql12-entailment/": {}, + "https://www.w3.org/TR/sparql12-entailment/": { + "specShortname": "sparql12-entailment" + }, "https://www.w3.org/TR/sparql12-graph-store-protocol/": { "specShortname": "sparql12-graph-store-protocol" }, diff --git a/tr/links/sparql12-graph-store-protocol.json b/tr/links/sparql12-graph-store-protocol.json index 7c13d17b4dca..35d6bb53d4b1 100644 --- a/tr/links/sparql12-graph-store-protocol.json +++ b/tr/links/sparql12-graph-store-protocol.json @@ -59,7 +59,9 @@ "specShortname": "w3c-patent-policy" }, "https://www.w3.org/TR/": {}, - "https://www.w3.org/TR/sparql12-entailment/": {}, + "https://www.w3.org/TR/sparql12-entailment/": { + "specShortname": "sparql12-entailment" + }, "https://www.w3.org/TR/sparql12-federated-query/": { "specShortname": "sparql12-federated-query" }, diff --git a/tr/links/sparql12-protocol.json b/tr/links/sparql12-protocol.json index b06dddddb6dc..d7602b708992 100644 --- a/tr/links/sparql12-protocol.json +++ b/tr/links/sparql12-protocol.json @@ -52,7 +52,9 @@ "https://www.w3.org/TR/rdf12-xml/": { "specShortname": "rdf12-xml" }, - "https://www.w3.org/TR/sparql12-entailment/": {}, + "https://www.w3.org/TR/sparql12-entailment/": { + "specShortname": "sparql12-entailment" + }, "https://www.w3.org/TR/sparql12-federated-query/": { "specShortname": "sparql12-federated-query" }, diff --git a/tr/links/sparql12-query.json b/tr/links/sparql12-query.json index 0dedc0f1148a..501680b2332c 100644 --- a/tr/links/sparql12-query.json +++ b/tr/links/sparql12-query.json @@ -89,7 +89,8 @@ "dfn-instance", "dfn-lean", "dfn-interpolation" - ] + ], + "specShortname": "rdf12-semantics" }, "https://www.w3.org/TR/rdf12-xml/": { "specShortname": "rdf12-xml" @@ -110,7 +111,9 @@ "terminology" ] }, - "https://www.w3.org/TR/sparql12-entailment/": {}, + "https://www.w3.org/TR/sparql12-entailment/": { + "specShortname": "sparql12-entailment" + }, "https://www.w3.org/TR/sparql12-federated-query/": { "specShortname": "sparql12-federated-query" }, diff --git a/tr/links/sparql12-results-csv-tsv.json b/tr/links/sparql12-results-csv-tsv.json index babe56874d8a..0bd19ee62573 100644 --- a/tr/links/sparql12-results-csv-tsv.json +++ b/tr/links/sparql12-results-csv-tsv.json @@ -38,7 +38,9 @@ "https://www.w3.org/TR/rdf12-turtle/": { "specShortname": "rdf12-turtle" }, - "https://www.w3.org/TR/sparql12-entailment/": {}, + "https://www.w3.org/TR/sparql12-entailment/": { + "specShortname": "sparql12-entailment" + }, "https://www.w3.org/TR/sparql12-federated-query/": { "specShortname": "sparql12-federated-query" }, diff --git a/tr/links/sparql12-results-json.json b/tr/links/sparql12-results-json.json index 899065b71ab0..09fb9c18dc93 100644 --- a/tr/links/sparql12-results-json.json +++ b/tr/links/sparql12-results-json.json @@ -25,7 +25,9 @@ "specShortname": "w3c-patent-policy" }, "https://www.w3.org/TR/": {}, - "https://www.w3.org/TR/sparql12-entailment/": {}, + "https://www.w3.org/TR/sparql12-entailment/": { + "specShortname": "sparql12-entailment" + }, "https://www.w3.org/TR/sparql12-federated-query/": { "specShortname": "sparql12-federated-query" }, diff --git a/tr/links/sparql12-results-xml.json b/tr/links/sparql12-results-xml.json index cf7d644cf1df..b6b6c766aef9 100644 --- a/tr/links/sparql12-results-xml.json +++ b/tr/links/sparql12-results-xml.json @@ -32,7 +32,9 @@ ], "specShortname": "rdf12-concepts" }, - "https://www.w3.org/TR/sparql12-entailment/": {}, + "https://www.w3.org/TR/sparql12-entailment/": { + "specShortname": "sparql12-entailment" + }, "https://www.w3.org/TR/sparql12-federated-query/": { "specShortname": "sparql12-federated-query" }, diff --git a/tr/links/sparql12-service-description.json b/tr/links/sparql12-service-description.json index 853994654c22..c59229f18baa 100644 --- a/tr/links/sparql12-service-description.json +++ b/tr/links/sparql12-service-description.json @@ -52,7 +52,8 @@ "https://www.w3.org/TR/sparql12-entailment/": { "anchors": [ "OWL2ProfilesDS" - ] + ], + "specShortname": "sparql12-entailment" }, "https://www.w3.org/TR/sparql12-federated-query/": { "anchors": [ diff --git a/tr/links/sparql12-update.json b/tr/links/sparql12-update.json index aa37551763db..309a500e5799 100644 --- a/tr/links/sparql12-update.json +++ b/tr/links/sparql12-update.json @@ -32,7 +32,9 @@ ], "specShortname": "rdf12-concepts" }, - "https://www.w3.org/TR/sparql12-entailment/": {}, + "https://www.w3.org/TR/sparql12-entailment/": { + "specShortname": "sparql12-entailment" + }, "https://www.w3.org/TR/sparql12-federated-query/": { "anchors": [ "service" diff --git a/tr/refs/rdf12-semantics.json b/tr/refs/rdf12-semantics.json new file mode 100644 index 000000000000..5337982e28c1 --- /dev/null +++ b/tr/refs/rdf12-semantics.json @@ -0,0 +1,164 @@ +{ + "spec": { + "title": "RDF 1.2 Semantics", + "url": "https://www.w3.org/TR/rdf12-semantics/" + }, + "refs": { + "normative": [ + { + "name": "RDF-PLAIN-LITERAL", + "url": "https://www.w3.org/TR/rdf-plain-literal/" + }, + { + "name": "RDF12-CONCEPTS", + "url": "https://www.w3.org/TR/rdf12-concepts/" + }, + { + "name": "RDF12-SCHEMA", + "url": "https://www.w3.org/TR/rdf12-schema/" + }, + { + "name": "RFC2119", + "url": "https://www.rfc-editor.org/rfc/rfc2119" + }, + { + "name": "RFC8174", + "url": "https://www.rfc-editor.org/rfc/rfc8174" + }, + { + "name": "TURTLE", + "url": "https://www.w3.org/TR/turtle/" + }, + { + "name": "XML11", + "url": "https://www.w3.org/TR/xml11/" + }, + { + "name": "XMLSCHEMA11-2", + "url": "https://www.w3.org/TR/xmlschema11-2/" + } + ], + "informative": [ + { + "name": "HORST04", + "url": "https://doi.org/10.1007/978-3-540-30475-3_7" + }, + { + "name": "HORST05", + "url": "https://dx.doi.org/10.2139/ssrn.3199251" + }, + { + "name": "ISO24707", + "url": "https://www.iso.org/standard/66249.html" + }, + { + "name": "OWL2-OVERVIEW", + "url": "https://www.w3.org/TR/owl2-overview/" + }, + { + "name": "OWL2-PROFILES", + "url": "https://www.w3.org/TR/owl2-profiles/" + }, + { + "name": "OWL2-SYNTAX", + "url": "https://www.w3.org/TR/owl2-syntax/" + }, + { + "name": "RDF-MT", + "url": "https://www.w3.org/TR/rdf-mt/" + }, + { + "name": "RDF-TESTCASES", + "url": "https://www.w3.org/TR/rdf-testcases/" + }, + { + "name": "RDF11-MT", + "url": "https://www.w3.org/TR/rdf11-mt/" + }, + { + "name": "RDF12-N-QUADS", + "url": "https://www.w3.org/TR/rdf12-n-quads/" + }, + { + "name": "RDF12-N-TRIPLES", + "url": "https://www.w3.org/TR/rdf12-n-triples/" + }, + { + "name": "RDF12-NEW", + "url": "https://w3c.github.io/rdf-new/spec/" + }, + { + "name": "RDF12-PRIMER", + "url": "https://w3c.github.io/rdf-primer/spec/" + }, + { + "name": "RDF12-TRIG", + "url": "https://www.w3.org/TR/rdf12-trig/" + }, + { + "name": "RDF12-TURTLE", + "url": "https://www.w3.org/TR/rdf12-turtle/" + }, + { + "name": "RDF12-XML", + "url": "https://www.w3.org/TR/rdf12-xml/" + }, + { + "name": "RIF-OVERVIEW", + "url": "https://www.w3.org/TR/rif-overview/" + }, + { + "name": "SPARQL12-CONCEPTS", + "url": "https://w3c.github.io/sparql-concepts/spec/" + }, + { + "name": "SPARQL12-ENTAILMENT", + "url": "https://www.w3.org/TR/sparql12-entailment/" + }, + { + "name": "SPARQL12-FEDERATED-QUERY", + "url": "https://www.w3.org/TR/sparql12-federated-query/" + }, + { + "name": "SPARQL12-GRAPH-STORE-PROTOCOL", + "url": "https://www.w3.org/TR/sparql12-graph-store-protocol/" + }, + { + "name": "SPARQL12-NEW", + "url": "https://w3c.github.io/sparql-new/spec/" + }, + { + "name": "SPARQL12-PROTOCOL", + "url": "https://www.w3.org/TR/sparql12-protocol/" + }, + { + "name": "SPARQL12-QUERY", + "url": "https://www.w3.org/TR/sparql12-query/" + }, + { + "name": "SPARQL12-RESULTS-CSV-TSV", + "url": "https://www.w3.org/TR/sparql12-results-csv-tsv/" + }, + { + "name": "SPARQL12-RESULTS-JSON", + "url": "https://www.w3.org/TR/sparql12-results-json/" + }, + { + "name": "SPARQL12-RESULTS-XML", + "url": "https://www.w3.org/TR/sparql12-results-xml/" + }, + { + "name": "SPARQL12-SERVICE-DESCRIPTION", + "url": "https://www.w3.org/TR/sparql12-service-description/" + }, + { + "name": "SPARQL12-UPDATE", + "url": "https://www.w3.org/TR/sparql12-update/" + }, + { + "name": "SWBP-XSCH-DATATYPES", + "url": "https://www.w3.org/TR/swbp-xsch-datatypes/" + } + ] + } +} \ No newline at end of file diff --git a/tr/refs/sparql12-entailment.json b/tr/refs/sparql12-entailment.json new file mode 100644 index 000000000000..e4981dce22aa --- /dev/null +++ b/tr/refs/sparql12-entailment.json @@ -0,0 +1,164 @@ +{ + "spec": { + "title": "SPARQL 1.2 Entailment Regimes", + "url": "https://www.w3.org/TR/sparql12-entailment/" + }, + "refs": { + "normative": [ + { + "name": "OWL2-CONFORMANCE", + "url": "https://www.w3.org/TR/owl2-conformance/" + }, + { + "name": "OWL2-DIRECT-SEMANTICS", + "url": "https://www.w3.org/TR/owl2-direct-semantics/" + }, + { + "name": "OWL2-MAPPING-TO-RDF", + "url": "https://www.w3.org/TR/owl2-mapping-to-rdf/" + }, + { + "name": "OWL2-PROFILES", + "url": "https://www.w3.org/TR/owl2-profiles/" + }, + { + "name": "OWL2-RDF-BASED-SEMANTICS", + "url": "https://www.w3.org/TR/owl2-rdf-based-semantics/" + }, + { + "name": "OWL2-SYNTAX", + "url": "https://www.w3.org/TR/owl2-syntax/" + }, + { + "name": "RDF12-CONCEPTS", + "url": "https://www.w3.org/TR/rdf12-concepts/" + }, + { + "name": "RDF12-SEMANTICS", + "url": "https://www.w3.org/TR/rdf12-semantics/" + }, + { + "name": "RDF12-TURTLE", + "url": "https://www.w3.org/TR/rdf12-turtle/" + }, + { + "name": "RFC2119", + "url": "https://www.rfc-editor.org/rfc/rfc2119" + }, + { + "name": "RFC8174", + "url": "https://www.rfc-editor.org/rfc/rfc8174" + }, + { + "name": "RIF-BLD", + "url": "https://www.w3.org/TR/rif-bld/" + }, + { + "name": "RIF-CORE", + "url": "https://www.w3.org/TR/rif-core/" + }, + { + "name": "RIF-in-RDF", + "url": "https://www.w3.org/TR/rif-in-rdf/" + }, + { + "name": "RIF-OWL-RL", + "url": "https://www.w3.org/TR/rif-owl-rl/" + }, + { + "name": "RIF-RDF-OWL", + "url": "https://www.w3.org/TR/rif-rdf-owl/" + }, + { + "name": "SPARQL12-PROTOCOL", + "url": "https://www.w3.org/TR/sparql12-protocol/" + }, + { + "name": "SPARQL12-QUERY", + "url": "https://www.w3.org/TR/sparql12-query/" + }, + { + "name": "XMLSCHEMA11-2", + "url": "https://www.w3.org/TR/xmlschema11-2/" + } + ], + "informative": [ + { + "name": "HORST05", + "url": "https://dx.doi.org/10.2139/ssrn.3199251" + }, + { + "name": "OWL2-OVERVIEW", + "url": "https://www.w3.org/TR/owl2-overview/" + }, + { + "name": "RDF12-N-QUADS", + "url": "https://www.w3.org/TR/rdf12-n-quads/" + }, + { + "name": "RDF12-N-TRIPLES", + "url": "https://www.w3.org/TR/rdf12-n-triples/" + }, + { + "name": "RDF12-NEW", + "url": "https://w3c.github.io/rdf-new/spec/" + }, + { + "name": "RDF12-PRIMER", + "url": "https://w3c.github.io/rdf-primer/spec/" + }, + { + "name": "RDF12-SCHEMA", + "url": "https://www.w3.org/TR/rdf12-schema/" + }, + { + "name": "RDF12-TRIG", + "url": "https://www.w3.org/TR/rdf12-trig/" + }, + { + "name": "RDF12-XML", + "url": "https://www.w3.org/TR/rdf12-xml/" + }, + { + "name": "SAFETY", + "url": "http://arxiv.org/abs/cs.LO/9809032" + }, + { + "name": "SPARQL12-CONCEPTS", + "url": "https://w3c.github.io/sparql-concepts/spec/" + }, + { + "name": "SPARQL12-FEDERATED-QUERY", + "url": "https://www.w3.org/TR/sparql12-federated-query/" + }, + { + "name": "SPARQL12-GRAPH-STORE-PROTOCOL", + "url": "https://www.w3.org/TR/sparql12-graph-store-protocol/" + }, + { + "name": "SPARQL12-NEW", + "url": "https://w3c.github.io/sparql-new/spec/" + }, + { + "name": "SPARQL12-RESULTS-CSV-TSV", + "url": "https://www.w3.org/TR/sparql12-results-csv-tsv/" + }, + { + "name": "SPARQL12-RESULTS-JSON", + "url": "https://www.w3.org/TR/sparql12-results-json/" + }, + { + "name": "SPARQL12-RESULTS-XML", + "url": "https://www.w3.org/TR/sparql12-results-xml/" + }, + { + "name": "SPARQL12-SERVICE-DESCRIPTION", + "url": "https://www.w3.org/TR/sparql12-service-description/" + }, + { + "name": "SPARQL12-UPDATE", + "url": "https://www.w3.org/TR/sparql12-update/" + } + ] + } +} \ No newline at end of file