Skip to content

Commit

Permalink
Update of TR report from new reffy run
Browse files Browse the repository at this point in the history 
Using reffy commit 13.1.1.
  • Loading branch information
reffy-bot committed Jun 23, 2023
1 parent de1c952 commit d137862
Show file tree
Hide file tree
Showing 26 changed files with 3,999 additions and 42 deletions.
1,308 changes: 1,308 additions & 0 deletions tr/dfns/rdf12-semantics.json
View file

Large diffs are not rendered by default.

303 changes: 303 additions & 0 deletions tr/headings/rdf12-semantics.json
View file
Original file line number Diff line number Diff line change
@@ -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"
}
]
}
Loading

0 comments on commit d137862

Please sign in to comment.